Method and Apparatus for design a PDN of an assembly of VRM-Board-Decoupling-Package-Chip
20230267256 · 2023-08-24
Inventors
Cpc classification
G06F30/367
PHYSICS
International classification
G06F30/367
PHYSICS
Abstract
The present invention relates to the design of a Power Delivery Network (PDN) of a system of VRM-Board-Decoupling Capacitances-Package-Chip for the nm-CMOS devices that typically suffers from the resonances, transient oscillations, and voltage Decay, which resulted in the device fails the specification that often considered as a design flaw and leads to the costly devices respins. Present invention provides a new method, an apparatus or Tool, and a process to design PDN without noted deficiencies, which achieved by damping PDN at setting elevated impedances, in contrast with the common practice of lowering them, which improves the devices performance and reduces the rate of the chips respins. This invention also includes an advanced process that enable to start design early and simultaneously by different engineering groups without disclosing the proprietary information which they might have.
Claims
1. A Method, a Tool, and a Process of calculating parameters and design of a Power Delivery Network (PDN) of an assembly of VRM-Board-Decoupling-Package-Chip for the nm-CMOS devices, that suffers from the resonances, transient voltage and current variations, and voltage Decay, which resulted in the assembly specification fails that often considered as a design flaw and leads to the costly chips respins, comprising: calculating resonances and transient voltage variations in the PDN loop, and defining from these calculations the critical loop impedance (CLI) at which the resonances and transient oscillations in a PDN are damped completely, or have satisfied specification values, further calculating and setting each PDN loop' impedance elevated up to the CLI, and board impedance equal to the elevated loop impedance less the impedance of the interconnect of the PDN loop from the board to the chip die; reducing the loop characteristic impedance to decrease the amplitude of the resonances and transient oscillations to the acceptable values and increasing a number of PDN loops and decoupling value to achieve a compromise between acceptable voltage variations and voltage Decay, with the voltage being not lower than the specified minimum voltage; setting the values of the time constants of the VRM and PDN loops aligned with each other such way that when one of the PDN loops exhausts its charge in its specific time, another PDN loop will continue providing charge and current instead, reducing the voltage variations and Decay.
2. The Method of claiml, wherein setting critical board impedance and critical Q-factor, which set based on the calculations of the CLI to damp PDN, might be done by number of different ways, for example, by setting elevated ESR of decoupling capacitors, or by increasing the losses of the interconnect to the decoupling capacitors.
3. The Method of claim 1, wherein CLI might be different for removing the resonances and removing the transient voltage and current oscillations, while these CLI values are related: at removing the transient voltage oscillations the value of the CLI is equal to the twice characteristic impedance that results in a critical loop Q-factor, while at removing the resonances the critical loop Q-factor might have a different value.
4. The Method of claim 1, wherein PDN loop impedance set lower CLI which enables resonances and transient oscillations in a loop and keeping these resonances and transients under control, lower the specified values.
5. The Method of claim 1, wherein reduction of the voltage variations to current variations ΔV/ΔI is achieved by setting reduced characteristic impedance of the PDN loop by rising on-die capacitance and/or on-chip, on-board, and on-package decoupling, and/or reducing loop equivalent series inductance, where the last one might be achieved by number of different ways, particular, increasing a number of the decoupling capacitances and/or increasing a number of the package power and ground balls (pins) and/or a number chip micro balls.
6. The Method of claim 1, wherein calculation of the characteristic impedances, Q-factors, Board impedances, etc., of each loop includes the contribution of all other loops and might be calculated in a scalar or matrix form.
7. The Method of claim 1, wherein rising the total decoupling value in a PDN to prevent voltage Decay,—when voltage should not fall lower specified minimum value.
8. The Method of claim 1, wherein setting board impedance elevated should be done without impacting “horizontal” impedance that includes serially connected components which carry current from the VRM to the chip die, including VRM output impedance, board and package planes' spreading impedances, chip power and ground grids, impedances of interconnects, etc., to keep low AC and DC voltage drop.
9. The Method of claim 1, wherein various other noise sources like ripples from a power source (VRM), power rail couplings, reflections from the PCB edges, cavities resonances, etc., also are included into calculations; the data of these and other noise sources might be derived from the corresponding PDN' parts specifications, or the measurements, enabling a measurement assisted PDN design.
10. The Method of claim 1, wherein the voltage variations in a PDN, which undergo the described in the present invention calculations, are obtained by two different ways: one based on the calculation of the current load (current profiles), and other way is by calculating voltage and current variations directly based on the sequence of the logic transitions on a chip.
11. A Method of claim 1 wherein might be realized as a Tool or Apparatus that uses computer medium with program instructions that carries out the calculations according to the described in the invention detail description, guides the design process, and comprising the special Tool interfaces for the users.
12. A Method, a Tool, and a Process of calculating parameters and design of a Power Delivery Network (PDN) of an assembly of VRM-Board-Decoupling-Package-Chip for the nm-CMOS devices, comprising separate interfaces for each design group allowing sharing the sensitive information that the group might have with the Tool or Apparatus only, without disclosing the proprietary information with another groups, like chip design group, package design group, board design group, customers, etc., enabling the process of early mutual design by different engineering groups without losing by each group the important design information.
13. The Method of claim 12, wherein further comprising interfaces for the presenting the results of the PDN design, allowing important parameters and figures of merit be shared with all users, as well as separate interfaces for each design group with proprietary information, guiding what else should be done for the assembly performance improvement, which enables the process of mutual design by different engineering groups early.
14. The Method of clime 1, wherein further comprising including a traditional EDA simulation tools like SPICE, ADS, etc., as well, as a common computational tools like MATLAB, Excel, to perform calculations that described in present invention Method or TOOL should carries out, as well as any additional calculation of the PDN parameters and dependances.
Description
BRIEF DESCRIPTION OF THE DRAWINGS
[0032] The present invention will be readily understood by the following detailed description in conjunction with the accompanying drawings, and like reference numerals designate structural elements.
[0033]
[0034]
[0035]
[0036]
[0037]
[0038]
[0039]
[0040]
[0041]
[0042]
[0043]
[0044]
DETAIL DESCRIPTION OF THE INVENTION
[0045] The present invention relates to the design of a Power Delivery Network (PDN) of an assembly of a VRM-Board-Decoupling-Package-Chip for the nm-CMOS devices like IC of Microprocessors, ASICs, FPGAs, etc. The embodiment described herein provides a Method, a TOOL or Apparatus, and a process to design of an assembly with removed, or reduced PDN resonances, voltage transient oscillations, and voltage decay on a chip' die. It should be appreciated that these PDN improvements lead to the reduced number of costly respins of PCB, Package, and Chip designs. It will be obvious to one skilled in the art, that the present invention may be practiced without some or all of specific details. In other instances, well-known process operations have not been described in detail in order not to unnecessarily obscure the present invention.
[0046] In one aspect of the invention, in order to completely remove resonances and transient oscillations on the chip die, the new design criteria are used—Critical Loop Impedance (CLI) Z.sub.Crit instead of the target impedance Z.sub.T like in the prior art. This invention calculates the CLI based on the real PDN schematic parameters and guides that to completely remove resonances and transient oscillations in each PDN loop it impedance should not be low but elevated up to the CLI. In another aspect of the invention, the board impedance Z.sub.board should not be too low but elevated and defined based on the CLI less the impedance of the interconnect of the loop.
[0047] It should be appreciated that there might be different CLI for the removing the resonances, and for the removing the transient oscillations in a PDN, particular.
[0048]
[0049] It should be appreciated that even if board impedance created to be flat in some frequency range, the PDN still might have resonances. Flat board impedance may be modeled as a resistor, therefore, the schematic in
1) one branch on the left from point A, has an ESR which includes Z.sub.board, ESR of a package named R.sub.pk, and ESR of a chip' power and ground grids R.sub.grid correspondently. This branch also includes ESL of the package L.sub.pk, and chip' power and ground grids ESL, named L.sub.grid;
2) another branch includes the on-die capacitor C.sub.die and on-die resistor R.sub.die. The total ESR of the chip and package is named R.sub.cp, and equal to R.sub.cp=R.sub.pk+R.sub.grid+R.sub.die. Obviously, this schematic represents the parallel resonance circuit that might exhibit resonant behavior. The Tool calculates an impedance Z.sub.S (ω) of this circuit in point A and the on-die resonance frequency. The frequency domain analysis of the equivalent PDN schematic in
This formula is accurate compared to the formula
used at the Target Impedance method in Prior Art, which obtained for the ideal parallel circuit without resistances in capacitive and inductive branches of the circuit. However, the real circuit always has some resistances, like it is shown in
[0050] It should be appreciated, that when the value under the square root in the formula for the resonance frequency F.sub.r is negative, the PDN will be resonance free. This defines the critical Q-value for the resonance's removal:
If Q-factor of a loop is higher compared to the Q.sub.crit, PDN will exhibit resonances, and at Q<Q.sub.crit the PDN will be resonance-free on the chip die. Therefore, in one aspect of the invention, the TOOL verifies if there are resonances in the PDN loop by calculating the value of the Q-factor of a PDN and compares it with the critical value.
[0051] It should be appreciated that Q.sub.crit might be calculated by more complex formula than the current example for the more complex PDN schematics.
[0052] In this embodiment of the invention the TOOL provides calculations and a guidance for the case of more complex PDN schematic,—when a board impedance is not flat. The TOOL calculates the chip and package resonance frequency F.sub.cp for the PDN loop from VRM to the package, to the chip die, as on the
On
1) when a chip and package resonance frequency F.sub.cp corresponds to the flat part of the impedance,—position 710. Suppose that the parameters of the package-chip loop are chosen properly and resonances on package-chip loop are removed. At adding the board to this loop the total loop ESR is increasing and Q factor of the assembly will be lower compared to the Q-factor of the chip and package loop without the board. The increased loop ESR will cause a slight shift of the assembly (chip, package, and board) resonance frequency F.sub.r to the lower frequency,—position marked as 720. The cross 787 on the lower graph in
2) when a chip and package resonance frequency F.sub.cp corresponds to the negative slope marked by the vertical dashed line 730. In this case, the capacitive reactance of the negative slope will be added serially with the on-die capacitance and the resonance frequency of the assembly will be shifted slightly to the higher frequency,—to position 740. However, adding serially big capacitive reactance to the loop will not change the Q-factor significantly and there also will not be resonances on-chip die that illustrates by cross 785 on the lower graph.
3) The third case is when F.sub.cp matches the positive slope of a high-frequency peak; this position is marked as 750. The reactance of the positive slope is inductive that will be added to the chip/package circuit inductance and will provide significant changes to the on-die PDN resonance frequency F.sub.r which is moved to the position 760, that shown by the dashed error with the points. With the growing circuit ESL, the characteristic impedance of the circuit is rising and, hence, the Q-factor. Therefore, in this case, there might appear impedance peak on the chip die,—790 in
4) In the fourth case the F.sub.cp matches the high-frequency negative peak' slope,—this position is marked as 770. The reactance of the negative slope is capacitive and since the resonance peak is at high frequency, the capacitance is relatively small. For example, this capacitance might origin base onboard planes' self-capacitance, or board cavities. Adding the relatively small capacitance serially (instead of Z.sub.board in FIG.6) with the on-die capacitance will provide the most significant changes compared to all four cases. The total capacitance of the PDN loop will be significantly reduced that changes the assembly' resonance frequency F.sub.r which moves to position 780. At reducing total PDN loop capacitance, the Q factor will rise to the higher value and in this case, there will appear an impedance peak on the chip die,—795 in
[0053] In this embodiment of the present invention the TOOL calculates the contribution of the board impedance to the chip-package loop and includes the results in calculations of the critical board and decoupling capacitors ESR to offset the impact of the board impedance on the system' parameters.
[0054] Another specific of the PDN is that the internal power source' impedance R.sub.V and serial impedance of the rest of the whole pass from the power supply module to the die should be low enough to keep AC and DC IR drop within the specification limits. This serial pass from the power source to the die includes those PDN components, only, that carry the direct power supply current. These components are R.sub.V, R.sub.pk, R.sub.grid, and R.sub.die and, also, the board spreading planes resistances, and resistances of the package balls and serially connected vias, if any. These components' ESR, named “horizontal”, could not be increased to damp the PDN. In contrast, the “vertical” components' ESR, which are decoupling capacitances, might be increased. Therefore, another embodiment of the invention is rising ESR of the decoupling capacitors' R.sub.c, as follows.
[0055] The Tool calculates the CLI and based on the calculated results defines the critical ESR value of the decoupling capacitors depending on the decoupling method. The critical value of the decoupling capacitors' ESR provides a critical board impedance which, next in turn, provides a critical Q-factor and, as a result, the resonances on-chip die are removed.
[0056] Another specific of the present invention is that method and TOOL helps to remove not resonances, only, but the transient oscillations voltages and currents in a PDN also. It should be appreciated that removing transient voltage and current oscillations requires different conditions compared to the removing the resonances, while both requirements might be related.
[0057] In another embodiment of the invention, the TOOL carries out time-domain calculations of the transient processes in the PDN. More detail PDN schematic, compared to the
The TOOL calculates IVD and uses it for many other calculations of the PDN characteristics.
[0058] After voltage drops, the decoupling capacitance starts charging the on-die capacitor C.sub.die and voltage on the die capacitor starts rising. These oscillations are named transient oscillations.
[0059] It also should be appreciated, that the main requirement of chip designer's is to have low transient voltage variations ΔV on the chip die compared to the specified value: ΔV<ΔV.sub.spec, and not the target impedance Z.sub.T. Hence, in this embodiment of the present invention the TOOL calculates voltage variations ΔV and current variations ΔI. These calculations are carried out based on the real PDN loop schematic. As analysis shows, voltage variations ΔV and current variations ΔI for the real PDN loop are proportional to the PDN loop characteristic impedance ρ, IVD, and depends on the loop Q-factor and loop impedance by complex way. The TOOL calculates ΔV and current variations ΔI in a real PDN schematic and defines the PDN parameters at which the voltage variations do not exceed the specified level: ΔV<ΔV.sub.spec. In one aspect of these calculations the TOOL calculates the CLI at which the transient oscillations will be removed completely. As it is well known from the RLC theory, the transient oscillation in a circuit is removed when Q=ρ/R value is reduced to the Q=0.5, which is a critical Q-factor value. This critical Q-factor achieved at critical loop impedance Z.sub.Crit, which is twice the characteristic impedance of the loop Z.sub.Crit=2ρ.
[0060] In another aspect of the invention, the board impedance Z.sub.board, which is PDN impedance from the power rail to the ground rail (named “vertical” impedance), should not be too low, but defined based on the CLI less the impedance of the interconnect of the loop.
[0061] In another embodiment of the invention, the TOOL defines the way on how to achieve the CLI. One of the ways is by calculating and setting the elevated critical decoupling capacitors' ESR to remove transient oscillations by equating calculated Q for the real PDN schematic to the Q.sub.crit=0.5. From this condition the TOOL defines the critical decoupling capacitors ESR=R.sub.crit elevated value and, correspondently, the critical elevated board impedance Z.sub.Crit. It should be appreciated, that achieving the CLI to damp the PDN might be done by many different ways, for example, by increasing losses of the interconnect, etc.
[0062] It should be appreciated that calculated by the Tool critical PDN parameter's values depend on the chosen decoupling method and type of the chip. For the chips with relatively low consumption the elevated PDN impedance works fine, however, the consumption of the modern nm-chips reaches hundreds of Amperes. For the high consumption chips just to have elevated PDN impedance might not be enough,—at periodically repeated transitions the decoupling system will be depleted, especially during the time when VRM is not react yet. This will cause the reducing PDN voltage—named voltage Decay.
[0063] In this embodiment of the invention TOOL calculates the voltage Decay and provides the requirement for the minimum allowable capacitance C value, capacitances needed parameters, and number of the decoupling capacitances N.sub.G to keep this voltage decay higher than specified minimum voltage: V>V.sub.min.
[0064] It also should be appreciated, as mentioned above, that rising the PDN loop impedance is limiting the current delivered from the decoupling capacitors to the chip die. This increases the voltage Decay. Reducing the voltage Decay in a PDN requires to reduce the PDN loop impedance,—so, the voltage variations and Decay are controversial requirements. This is another reason not to elevate the PDN impedance too high. In this embodiment of the present invention the TOOL is calculating the controversial requirements and choose the PDN parameters from the compromise between amplitude of the transient voltage oscillations, resonances, and Decay to satisfy both requirements V>V.sub.min, and ΔV<ΔV.sub.spec.
[0065] In another aspect of the calculations carried out by the TOOL, it guides to reduce the characteristic impedance ρ, and/or IVD to satisfy the requirement ΔV<ΔV.sub.spec. This might not remove the oscillations completely but will reduce oscillations amplitude to the specified value and the voltage Decay will be reduced.
[0066] In another embodiment of the present invention the TOOL calculates and guides to use elevated PDN impedance for the removing the transient oscillations, and, simultaneously, to increase the number of the PDN loops to compensate the reduced loops' current to satisfy both noted requirements.
[0067] It also should be appreciated, that at periodically repeated transitions in high consumption chips, the total value of the decoupling capacitors should be chosen big enough for each PDN loop to replenish the charge withdrawn from the on-die capacitor until VRM will “wakeup” and increases its current. The time required for the decoupling capacitors in the loop to provide its charge to the on-die capacitor is about three times higher than the PDN loop constant τ=2L/R where L and R are loop' ESL and ESR correspondently. During this time a number of transitions will happen. These transitions withdraw the charge from the on-die capacitance while the decoupling capacitances replenish just some of the withdrawn charges. As a result, the voltage on both, decoupling capacitors and on die capacitance will Decay.
[0068] In other embodiment of the invention, the TOOL, based on the information about VRM time constant, value and timing of the decoupling capacitors, and transitions' frequency, calculates if there is enough charge stored in the decoupling capacitors to replenish the charge withdrawn at chip operation that prevents significant voltage Decay on the chip die.
[0069] It also should be appreciated that real design requires the implementation of several decoupling capacitors groups and each next decoupling group position further from the IC might have a higher PDN loop time constant and requires higher capacitance value. It should be appreciated that PCB designers are often using next solution,—placing groups of similar decoupling capacitors on top, on-bottom of the board under the package, and on-side of the package in so-called decoupling islands, etc.
[0070] In another embodiment of the invention TOOL calculates and guides that time constants of the PDN loops and their total decoupling values should be align to each other and to the VRM' time constant and current in order not to allow PDN voltage fall lower V.sub.min.
[0071] In other embodiment of the invention, the tool is verifying the value and timing of the charge which onboard decoupling capacitors are provided to the on-die capacitor to replenish the charge withdrawn from C.sub.die at chip operation, and gives a warning sign to the designers of the chip, package, and board that there is a need to add to the design the on-package and/or on-chip embedded decoupling capacitors and the whole cycle of this interaction design of an assembly is repeating.
[0072] In the next embodiment of the present invention the Apparatus, or another name the Tool, calculates the PDN parameters and guides the PDN design of the assembly according to the new method and algorithm illustrated by
[0073] In another embodiment of the invention, there is a process that became a part of the apparatus that helps to solve the important problem of design and manufacturing of an assembly by different engineering groups and allows to keep proprietary information for each group private without negatively impacting the design process. This part of the apparatus is illustrated by
The described approach allows for different design groups to start early participation in the design process in a parallel way that reduces the design time, improves the design performance, and reduces or removes respins of the assembly and its parts: chip, package, and board.
[0074] In another embodiment of the invention, the parameters of the voltage waveforms in the PDN, on-die waveform V(t), particular, are calculated.
Similar calculations are carried out for the current Start and Stop events at repeated transitions and for specific current profiles, or chip current Loads. This list of the FMs represents just an example and other PDN parameters might be calculated by the Tool, as well.
[0079] In another embodiment of the invention, the calculations of the PDN performance and voltage waveforms and parameters might be done by different ways, one of them is based on the calculation of the load current, or current profile that chip demands at different logic patterns, and using the load current the TOOL calculates maximum voltage variations in a PDN ΔV, and then follows the described in the present invention procedure. Another way is to derive current and voltage variations directly from the transitions.
[0080] It should be appreciated that other noise sources in a PDN might present and be significant, like ripples from a power source (VRM), power rail coupling with signals, or another power rails, reflections from the PCB edges, cavities resonances, etc. In another embodiment of the invention these noises might come from the specification or calculated by the TOOL based on the schematic and layout analysis.
[0081] It should be appreciated that the apparatus or TOOL carries out calculations in both, Frequency domain and Time domain, as described above. A typical PDN has several PDN loops with decoupling capacitors and the on-die capacitor. In this embodiment of the invention, the TOOL is calculating the resonances, transients, and voltage Decay, Q-factors, characteristic impedances, and resonance frequencies: on the die, on the package, and on PCB including various parameters and resonances that different components, like decoupling capacitors, might have between each other and present them in the matrix form: Q-matrix Q.sub.ij, resonances matrix F.sub.ij, characteristic impedance matrix ρ.sub.ij, and ESR matrix R.sub.ij, etc. These matrixes characterize the interactions between different parts of the assembly and might present results of the calculations in a matrix form. The apparatus (TOOL) might present results of the calculations in a digital form, or the form of graphs, etc.
REFERENCES
[0082] [1] U.S. Pat. No. 6,195,613, February 2001
[0083] [2] U.S. Pat. No. 6,532,439, March 2003
[0084] [3] U.S. Pat. No. 6,789,241, September 2004
[0085] [4] U.S. Pat. No. 6,850,878, February 2005
[0086] [5] L. D. Smith, R. E. Anderson, D. W. Forehand, T. J. Pelc, T. Roy, “Power Distribution System Design Methodology and Capacitor Selection for Modern CMOS Technology,” IEEE Transactions on Advanced Packaging, Vol. 22, No. 3, P284, August 1999
[0087] [6] L. D. Smith, R. E. Anderson, T. Roy, “Chip—Package Resonance in Core Power Supply Structures for a High Power Microprocessor”, Proceedings of IPACK, 2001
[0088] [7] L. Smith, “Frequency Domain Target Impedance Method for Bypass Capacitor Selection for Power Distribution Systems”, DesignCon 2006
[0089] [8] L. Smith, D. Becker, S. Weir, I. Novak, “Comparison of Power Distribution Network Design Methods”, TecForum, DesignCon 2006. [4]
[0090] [9] S. Sun, L. Smith, P. Boyle, “On-Chip PDN Noise Characterization and Modeling”, Designcon 2010
[0091] [ ] L. Smith, E. Bogatin, “Principles of Power Integrity for PDN design”, Prentice Hall, 2017
[0092] [11] L. Smith, “Impedance and Transient Current Fundamentals”, Tutorial “System Power Integrity”, Part 1, DesignCon 2015.
[0093] [12] I. Zamek “SOC-System Jitter Resonance and Its Impact on Common Approach to the PDN Impedance”, Altera Corp., San Jose, 2008.
[0094] [13] I. Zamek, “Nm-System's Jitter Resonance induced by PDN noise of toggling on-die Logic”, DesignCon 2010
[0095] [14] I. Zamek, “On-chip Jitter and system Power Integrity”, DesignCon 2012
[0096] [15] I. Zamek, “Does ‘better’ PDN result in better product performance?” Tutorial “System Power Integrity”, part 2, DesignCon 2015.
[0097] [16] L. Smith, S. Sandler, E. Bogatin “Target Impedance Is Not Enough”, Signal Integrity Journal, January 2019.
[0098] [17] I. Zamek, “Power Integrity Principles for nm-CMOS devices”, August, DesignCon 2021.
[0099] [18] Vivek De, et el., “A Band-Limited Active Damping Circuit With 13 dB Power Supply Resonance Reduction” IEEE JOURNAL OF SOLID-STATE CIRCUITS, VOL. 43, NO. 1, JANUARY 2008.
[0100] [19] Z. Peterson, “The Role of a Decoupling, Inductance, and Resistance in a PDN”, Altium, July 2019.
[0101] [20] Y. Kobayashi, R. Kobayashi, “Power supply noise suppression by optimizing on-die PDN impedance”, 2012 2nd IEEE CPMT Symposium Japan
[0102] [21] M. Coenen, A. Roermund, “Resonant-Free PDN Design”, IEEE 8th workshop on EMC of Integrated circuits, 2011
[0103] [22] M. Togashi, C. Burket, “ESR Controlled MLCCs and Decoupling Capacitor Network Design”, DesignCon 2007
[0104] [23] H. Ishida, J. Prymak, C. Burket, and I. Novak, “Controlled ESR Capacitors Have Arrived,” DesignCon 2007.
[0105] [24] I. Zamek, “New Power Integrity Methodology and mitigation effect of PDN voltage decay”, DesignCon, April, 2022
[0106] [25] Provisional Patent Application No 63/262,340 filed Oct. 9, 2021, and entitled “Method and Apparatus for design a PDN of an assembly of VRM-Board-Decoupling-Package-Chip”, author ILIYA GAVRIILOVICH ZAMEK