tag:blogger.com,1999:blog-26488812217939396762024-03-13T00:49:53.212-07:00VoltEdgeDedicated to discussion about voltage-based technqiues for low power design and verification.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.comBlogger14125tag:blogger.com,1999:blog-2648881221793939676.post-66931737098451850622011-04-13T08:04:00.000-07:002011-04-13T08:12:51.241-07:00Power is Getting Even More Difficult to ManageAt the 2001 ISSCC, Pat Gelsinger, then Senior VP, Intel, had observed the following in connection with the growing issue of chip power density: “Ten years from now, microprocessors will run at 10GHz to 30GHz and be capable of processing 1 trillion operations per second -- about the same number of calculations that the world's fastest supercomputer can perform now. Unfortunately, if nothing changes these chips will produce as much heat, for their proportional size, as a nuclear reactor. . . .” <br /><br />Supply and threshold voltage scaling along with power management techniques such dynamic voltage and frequency scaling and power gating have helped manage the power density issue along with some process technology advances such as the high-k metal gate technology. The scaling of clock frequency has also been a victim in the process as is evident from the chart [1] shown below. <br /><br /><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgJwG1VSVGJqsvYHDxMGYWAaqVApMERJiDif6_aCZW_IUWFYM6f_mLWE8tjW7OeGM0GC20Uq5z-EehT7lKF7T4nl7v-i62HqtgA8ea6gL1v4s4nLp2V40Cccp5LBk3uc3m-LKJtXr7GsSx-/s1600/MicroClockFreqTrend.JPG"><img style="TEXT-ALIGN: center; MARGIN: 0px auto 10px; WIDTH: 320px; DISPLAY: block; HEIGHT: 217px; CURSOR: hand" id="BLOGGER_PHOTO_ID_5595085509126734066" border="0" alt="" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgJwG1VSVGJqsvYHDxMGYWAaqVApMERJiDif6_aCZW_IUWFYM6f_mLWE8tjW7OeGM0GC20Uq5z-EehT7lKF7T4nl7v-i62HqtgA8ea6gL1v4s4nLp2V40Cccp5LBk3uc3m-LKJtXr7GsSx-/s320/MicroClockFreqTrend.JPG" /></a> <div><br />Figure 1 : Microprocessor Clock Frequency Over Time [1] <br /><br />Going forward, the power picture looks even more problematic. The dependence of leakage on process variation is already causing major difficulties at the 28nm process technology node and that’s a separate issue altogether. The scaling of supply voltage isn’t expected to keep pace with the scaling of feature sizes. According to the ITRS roadmap [2], as we advance from 30nm to 20nm, the supply voltage is expected to decrease from 1 volt to 0.87 volts only. The transition to 17nm sees an even smaller decrease in the supply voltage. At the same time, the threshold voltage is expected to remain nearly flat around 0.29 volts. <br /><br />We are expected to see a doubling of transistor count during this time as the number of cores double. This will lead to significant increases in active leakage power while the dynamic power will also see an increase. As a result, the power density will increase at a higher rate than it has in the recent past assuming a flat frequency scenario. And if we are forced to lower the frequency to be in the power budget then even the performance benefits of parallelism for the highly parallel application scenarios may have to be questioned. <br /><br />[1] ISSCC 2010 Trends Report. http://isscc.org/index.html <br />[2] ITRS 2010 Tables for Process Integration, Devices, and Structures Difficult Challenges. http://www.itrs.net/ </div>Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-71028542049517516142010-12-01T10:02:00.000-08:002010-12-01T10:03:46.968-08:00Getting Real About Power Management VerificationSoCs that are used in consumer electronics utilize power management techniques that require control of voltage sources. We have discussed the need for power-aware simulation for verification purposes in the past. EDA tools have advanced to include power-aware simulation such as those found with simulators such as VCS from Synopsys. In this article, we discuss the need for modeling analog-like components that must be carried out along with to accomplish the tasks of writing power-aware test cases.<br /><br />If we look at the power management techniques such as power gating and voltage scaling and their implications on functional verification, it becomes clear that there is a need to model some analog-like components that are present in the SoC environment to enable this verification. <br /><br />The SoC itself may include multiple cores utilizing dynamic voltage and frequency scaling along with power gating in various modes of operation. The voltage sources can no longer be modeled using 1s and 0s since they take multiple real values during the course of chip operation. Design languages such as SystemVerilog provide “real” data type to model real numbers. <br /><br />A voltage ramp, provided by a voltage regulator module (VRM), associated with voltage scaling can be modeled as a triangular waveform and this modeling can include timing information relative of the clock in use. A typical SoC can include multiple scaling sub-systems. The modeling of the scaled clock is similar to that of a voltage controlled oscillator where output clock frequency depends upon the input voltage. <br /><br />The models for the level-shifters on chip need to be voltage aware so that voltage related issues can be captured in their modeling. These need to be connected to the supplies discussed above. The modeling of power switches also need to be voltage and clock aware so that the timing related issues of switching power on and off can be detected in the course of simulation. These are typically one-time task and these models can be reused. And having a clear power management design verification methodology in place is helpful across projects, concurrently and sequentially.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-63607978913251058662010-10-06T08:21:00.000-07:002010-10-06T08:23:03.825-07:00Growing Importance of Adaptive Body BiasingAlthough the use of power gating technique is essential to manage standby leakage power, it brings in a host of new design and verification issues. This list of new design and verification issues include putting together a power switch network, incorporating appropriate isolation and retention, addressing x-propagation, dealing with current spikes, and ensuring retention works well. Switching power on and off is a slow event, and more so in a higher performance design where timing management can become a big issue too. <br /><br /><br />With the advances in CMOS process technology, scaled down devices needed lower threshold voltage to keep up with performance scaling. The leakage power grew exponentially with the decreasing threshold voltage and has led us to the leakage power problem that we have at hand today. <br /><br /><br />Adaptive body bias (ABB) technique helps reduce leakage by controlling the device body voltage leading to an increase in the threshold voltage. Although leakage cannot be eliminated, it can be significantly reduced. Since you don’t have to switch power off, it eliminates the need to deal with the host of design and verification issues listed above. <br /><br /><br />The implementation of ABB has its own challenges but it is an attractive alternative in many applications and likely to play an increasingly important role in managing leakage power. It also provides a way to deal with the variability issues that are becoming more critical with the advances in the process technology. <br /><br /><br />And the high performance requirements for some applications will also make the use of power gating impractical. When you are communicating at 10gbps on Ethernet links, it might take too long to wake up a sleeping link if it was put all the way to sleep as associated packet loss may not be tolerable.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-68351469690587228092010-08-30T12:05:00.000-07:002010-08-30T12:06:09.550-07:00Challenges in Creating Power-Managed IPsCreating low power IPs worked fairly well until the process technology nodes for which leakage power wasn’t a big issue and clock gating was able to address dynamic power optimization. For 90nm and more advanced process technology nodes, not only leakage power became a dominant issue but the dynamic power also needed better optimization. The use of voltage-based power management techniques such as adaptive voltage scaling, dynamic power switching, standby leakage management, forward and reverse body biasing, and state retention required changing voltages and that tied power management closely to the process technologies. <br /><br />ARM is known to have worked closely with companies such as Texas Instruments and QualComm over the years to create processor IPs that are used in application platforms such as OMAP and Snapdragon. The power management techniques used are not only process technology node dependent (such as versions of TSMC’s 65nm and 40nm nodes) <br />but also on application platforms support for various techniques. For example, ARM provides two hard IP cores for its Cortex-A9 processor – one that targets high performance applications and another that targets low power applications. <br /><br />It is not clear if an IP provider can effectively provide a soft IP along with power specification written in IEEE p1801 format and hand it over to the SoC vendor as a soft power-managed IP. There are many more challenges to enabling this kind of handoff in addition to some mentioned above such as: <br /><br />• A power-managed IP has to work closely with system’s power controller unit and appropriate considerations must be taken into account and this is further complicated in situations where platform creator also ties power management ICs to the platform. <br />• Power management cells within the IP such as isolation cells, level-shifters, power switches, and isolating level-shifters are process technology dependent. Any analog circuit has to be re-created for each process technology node. <br />• If your technique ties you to other components on the SoC such as a state-retention technique utilizing RAM then that is another application platform dependence that you have to take into account. <br />• If the IP itself has complex power management in place then its validation in the system context can truly only happen at the system-level and at times only using the system software. <br /><br />All of these issues make creation of a power-managed IP a challenging task and it is not clear if a complex power-managed IP can be created without working closely with the full-chip vendor. For IP vendors, this further points to services becoming even more integral part of IP selling process in future.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-84523685775186775932010-06-09T23:53:00.000-07:002010-06-10T00:02:31.176-07:00What’s difficult about SoC power management verification coverage?What’s difficult about SoC power management verification coverage?<br /><br />Sometimes we hear that the number of power domains in SoCs have increased significantly and that makes power management verification difficult. True, the numbers have gone up from say 2-3 to 7-10 but these are not large numbers by any means and you can write tests to ensure that each of these power domains are covered for power related tests. Power related tests refers to ensuring that sequencing related to power down and power up (timings of clock gating, reset, switching supply, isolation, and retention) as well as increasing and decreasing voltages in connection with voltage scaling are being done correctly. One point to note here is that power up sequence of a domain is completely distinct from power down, and similarly, voltage going up is distinct from voltage going down. <br /><br />Then we sometimes hear that the difficulty really arises because of the number of possible power states and not just because of the increasing number of domains. This is backed up with a statement such as: If you have 7 power domains in a design then you could be dealing with 128 power states if you only consider on/off states and many more if you include different on voltages. True, but that’s not what you really see in practice. Let’s take an example of a cell phone processor (such as the one presented by Infineon at ISSCC 2006) and we find that the chip has 7 power domains and has only 11 possible power states. These power states account for the device being used states such voice call, voice call with hands-free, sleep idle, paging idle, 3 different types of data download with different download bit-rates, video encoding, video telephony, music replay, and music replay with paging. It has 11 power states but not 128 or even more that can possibly exist. One can again write tests to ensure that each of these power states are covered for power related tests. So where’s the problem in getting power management verification coverage?<br /><br />Each of these power states assign on and off power states to each of the power domains. The on state of a domain is further differentiated with different voltage/frequency possibilities. The real problem in verification coverage is in ensuring that all possible power state transitions are covered. On a cell-phone chip, a switch from the music mode to a video mode is completely different than a switch from the video mode to the music mode. It’s because of the points that we noted at the end of the first paragraph. And with only 11 power states, where you allow all possible transitions of power states, you are looking at 110 distinct power switching possibilities. This creates a verification coverage challenge. Since the number of possible power state transitions grows quadratically with respect to the number of power states in the design, future complex and feature rich power-managed devices are likely to find power management verification coverage even more challenging.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-2109290773928077252010-04-07T23:18:00.001-07:002010-04-07T23:18:57.445-07:00Slow and Steady Wins the (Low Power) RacePower is a key reason behind the shift in processor design to leverage multi-core architecture as it promises increase in performance without a proportional increase in energy consumption. For an application developer, today’s processors (microprocessors as well as embedded system processors such as cell phone application processors and wireless sensor network nodes) provide multiple cores with a handle on scaling voltage and frequency to manage energy consumed by processors in running various applications. You have to manage both dynamic power (consumed by running applications) and leakage power (to be controlled both in active and standby modes) effectively for these applications. <br /><br />As you change frequency and voltage, switch cores on and off, and transition among multiple possible modes of operations, you are left with many possibilities to solve the problem under a given performance constraint. It turns out that the best policy to reduce energy is to go slow (operate at lowest possible frequency to achieve application goals) and steady (avoid power state changes) as far as possible. <br /><br />While this may sound counterintuitive, power efficiency as a result of scaling frequency and voltage has nearly a cubic impact on dynamic power. This is assuming a linear relationship between voltage and frequency. In reality, it may not be an exact linear relation but arguments still hold very well for the typical behavior exhibited. But the time required also increases by the scaling factor leading to a quadratic reduction of dynamic energy. Leakage energy consumed remains nearly the same in the two situations assuming a constant leakage current. <br /><br />As a result, if you are able to slow things down by a factor of 2, you are looking at nearly 75% reduction in dynamic energy. Assuming dynamic and leakage are equal partners in draining the battery at 65nm, you are looking at nearly 37% overall energy reduction by going slow and steady. <br /><br />A multi-core processor implemented utilizing dynamic voltage and frequency scaling gives you an option to slow things down provided there is enough parallelism in the application. And such gains are possible in all variations of multi-core architecture utilizing symmetric, asymmetric, and dynamic cores when you can go slow and steady.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-88093106637879295722010-01-13T08:19:00.000-08:002010-01-13T08:21:33.486-08:00Use of Formal Methods in Validating Power ControllersPower domains are required in the design due to stringent active and standby power specifications. Depending upon various modes of operation of a chip, power domains allow parts of a chip to be powered on/off independently from the rest of the chip. This has become common in all handheld and portable applications where stringent power requirements are a major competitive concern. <br /><br />Even with a design with a few power domains, say 4 or 5, a set of power on resettable registers are needed that provide appropriate controls for turning on/off power domains, power domain isolation control, and clock gating control for power events. Add state retention techniques to the mix, then you also have to include save and restore controls in you power manager. <br /><br />Power manager or power controller is critical to the correct functionality of your chip and needs to work correct with the software interface since typical software commands include switching power on/off to a domain, enabling/disabling clock, and reset. Power states can be altered in many different ways and a pure-simulation based approach to validate all of this can be challenging. Power management features can be written as formal properties or assertions that can be formally validated by formal tools such as Synopsys’ Magellan. <br /><br />Once the power management architecture is well understood, the rest of the task involves writing assertions using a properties specification language such as SystemVerilog Assertions (SVA). Some examples are as follows: <br /><br />• Power Manager sequences through a set of possible states that are determined by different modes of operation of the chip. A set of properties can be written to ensure valid transitions and sequencing in this power manager under all possible circumstances. <br />• Various power states correspond to appropriate register values in the registers that can be programmed by software for enabling/disabling power domains and clocks. These values can be formally checked to be present upon reset. Ensuring that soft reset control does not conflict with hard reset controls leading to lock up situations. <br />• Power manager would typically follow a power sequencing protocol which includes relative timing of control signals which can be written as assertions with reference to appropriate number of clock cycles. <br />• Power domains themselves may be related in the way they power on/off. Hierarchical power domains are used which place constraints on how lower-level power domains are powered depending upon the state of higher-level power domains. <br />• You have to sequence power domains in test mode and JTAG access to the power controlling registers must be present by ensuring both system and JTAG clocks are running. If JTAG is connected then none of the domains on the path can be in power down mode. <br /><br />Formal validation of power manager has several obvious advantages: i) It reduces the number of test cases that need to be written for validating complex power managers, ii) It reduces the amount of simulation cycles you may end using in validating some of the corner cases and difficult to target power manager bugs, iii) It allows simulation resources to be focused on remaining issues and coverage areas, and iv) It increases your verification confidence and reduces possible chances of re-spin due to a power issue. An area of further improvement from automation standpoint is more direct support of power architecture specification in terms of automatically figuring some of the formal needs for a given design.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-87395664801117261462009-12-07T15:00:00.000-08:002009-12-07T17:05:38.511-08:00On the Selection of Power Delivery Network in SoCsThe design and selection of a SoC power delivery network (PDN) presents unique challenges and its design is critical to achieving power consumption goals of the design. This is true when your PDN is external and based on off-the-shelf components as well as when it is being designed on-chip as part of the SoC. This article explores the external situation. <br /><br /> Power architecture of a given power-managed design determines various power modes of that design. Each power mode implies a set of power supply voltages and load current requirements for the PDN. These requirements drive the selection of voltage regulator modules (VRM) that supply the design with appropriate voltage and current levels in different power modes of the design. This process is a lot more challenging that it appears to be. <br /><br /> To begin with, you have the task of establishing target impedances to be met across a range of frequency values for the PDN and then of designing in appropriate decoupling capacitors to meet impedance goals. This is a challenging process in itself but addresses only part of the problem. The selection of appropriate VRMs to supply the design can be equally challenging. Here are some of the factors to consider: <br /><br />• There are a large number of regulator suppliers such as Texas Instruments, National Semiconductor, Linear Technology, and Analog Devices to name a few. <br />• The PDN designer needs to carefully look into the switching and linear types of regulators to meet power efficiency and current goals. <br />• Input and output voltage as well as load current requirements are some of constraints to limit your search <br />• Power efficiency and consumption goals for the design under consideration must be met. <br />• Cost of the design places a limit on cost of regulators. <br />• You can potentially use a hierarchy of regulators to meet these goals. <br /><br /> All of these requirements and given a large number of choices to begin with make this task a challenging one. And it can get more complex when if you bring variable voltages into the picture. It is critical that PDN is done right because an efficient PDN is equivalent to saving a lot effort in optimizing power of the design and the job done well can give you a clear edge in time-to-market with your low power device.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-75938747318110230852009-11-11T09:43:00.000-08:002009-11-11T10:42:42.253-08:00Is Power-Aware Simulation a Must-Have?"Power-Aware Simulation" here refers to power-aware simulation-based verification. This question has been frequently asked by the designers and becomes an even more important one in the context of potentially increased cost of simulation, with or without recessionary environment. <br /><br /> Those contending that it is not a must-have point to: <br /><br />• Power-managed designs were being done even when there was no power-aware simulation. The use of rule-based checking addressed most of power related issues and could be custom developed for a design methodology. <br /><br />• The use of power format brings in a new variable and associated design methodology challenges. <br /><br />• You could modify the design in a way to see the effects of power shutdowns in a regular simulation context. <br /><br />• You could modify the design library for simulation to include the effects of power shutdowns. For example, the simulation definition of an AND gate would also include the supply variable VCC and could model the AND gate using the following table: (X implies a 0 or a 1, and Z means a floating value)<br />A | B | VCC | OUT <br />1 | 1 | 1 | 1<br />0 | X | 1 | 0<br />X | 0 | 1 | 0<br />X | X | 0 | Z<br /><br />All of these are valid points but there are some significant issues that are not addressed by these solutions and there are some significant issues which are created by using these solutions. Here are some points for using power-aware simulation: <br /><br />• There are several power management issues that can only be validated over a few simulation cycles and static checking of the design will not be sufficient. Some of these may indeed get addressed through the use of formal techniques. Ensuring that the proper sequencing of clock gating, power shutdown, isolation, reset and retention occurs is an example pointing to the need of a dynamic method. <br /><br />• One would like validate a design early in the design cycle and not wait until gate-level simulation. This is an argument against the use of modified library for power-aware simulation. Simulations are lot slower at gate-level leading to higher costs and issues found later in the design cycle will end up costing a lot more through delays in TTM.<br /><br />• Validations via design modification are effective but introduce another source of error and extra design version management costs. When you are dealing with designs with several power domains, it becomes quickly unmanageable. <br /><br />• While there are issues related to the use of newly created power formats (i.e., IEEE p1801), it is much better to capture power intent once to coordinate various design tasks. Not only different tools will have a single view of intent, the verification needs to be carried out at various levels of abstraction can now be driven by the same intent. <br /><br />There is a clear need for power-aware simulation in power-managed designs. While techniques based on design and/or library modifications can do the job, there is an indirect cost to using such methodologies. As power-aware simulation becomes a more mature technology and power-management of designs continue to get more complex, power-aware simulation will become a must-have starting point for chip design creation.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-53511233233351428962009-10-15T08:16:00.000-07:002009-10-15T08:18:55.937-07:00On DeCap Verification in Power Gated DesignsA decoupling capacitor (DeCap) is used in power managed designs to decouple a power domain from the effects of power switching in a related domain. <br /><br />A switching sub-circuit (a power domain or a voltage island) can mess up the power supply line upon which other sub-circuits or domains depend upon. When a load switches into a circuit, the circuit tries to increase its current draw but the inductance associated with power supply line will act against this change. This change is opposed by lowering of the voltage the power supply line provides. This voltage may be powering other domains which may malfunction because of the drop. All domains that depend on this power supply line will get affected. The changes are temporary since the inductance eventually loses the battle but these changes may cause the design to malfunction.<br /><br />A DeCap connected to the supply power line helps decouple other domains from these sudden changes by stabilizing the supply needs through its stored charge. When the load is switched out, the DeCap is charged and becomes ready to supply when supply line balks at supplying during the switching in of a new load. By the time DeCap discharges, the main supply should be stabilized. A careful analysis of load requirements goes into the design of DeCaps. <br /><br />Power managed designs require a host of structural verification checks to ensure appropriate level shifters, isolators, and retention cells are present in the design along with correct power connectivity to various domains and specials cells. Ensuring presence of DeCaps is another one of these checks that help ensure presence of appropriate protection for the load switching events in the low power designs that typically contain several power modes as appropriate for different applications. And just like other structural checks, it can help avoid a potential re-spin of the design.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-73121921556480397992009-09-16T21:20:00.000-07:002009-09-17T08:12:37.368-07:00Strategies for Power Management VerificationIn an earlier blog article, we took a look at some of the top power management verification issues. Typical power management verification strategy requires a combination of structural rule-checking, power-aware simulation, and formal validation to address these issues.<br /><br />In the previous blog article, we discussed the need for power-aware simulation and stressed the fact you have to orchestrate your verification strategy to use structural and formal checking tools to optimize the extent of dynamic simulation needed. In this article, we list various verification strategies for the top verification issues discussed in an earlier article.<br /><br />In the table listed below, verification strategies are listed as simulation, formal, and structural rule-checking. The notation used here is that “1” implies that the corresponding verification strategy is typically the main strategy for dealing with the issue and “2” being the secondary strategy complementing the main strategy.<br /><table border="1"><br /><br /><tr><br /> <td>Verification Issue </td><br /> <td>Simulation </td><br /> <td>Formal</td><br /> <td>Structural</td><br /></tr><br /><br /><tr><br /> <td>Reset on Wake Up</td><br /> <td> 1 </td><br /> <td> </td><br /> <td> 2* </td><br /></tr><br /><br /><tr><br /> <td>Power Connectivity</td><br /> <td>2# </td><br /> <td> </td><br /> <td>1</td><br /></tr><br /><br /><tr><br /> <td>Always-on Buffers</td><br /> <td> </td><br /> <td> </td><br /> <td>1</td><br /></tr><br /><br /><tr><br /> <td>Domain Isolation</td><br /> <td>1 </td><br /> <td> </td><br /> <td>2</td><br /></tr><br /><br /><tr><br /> <td>Power Switching</td><br /> <td> </td><br /> <td> </td><br /> <td>1$</td><br /></tr><br /><br /><tr><br /> <td>Power Controller</td><br /> <td>1</td><br /> <td>2</td><br /> <td> </td><br /></tr><br /><br /><tr><br /> <td>Level Shifting</td><br /> <td> </td><br /> <td> </td><br /> <td>1</td><br /></tr><br /><br /><tr><br /> <td>Power Sequencing</td><br /> <td>2</td><br /> <td>1%</td><br /> <td> </td><br /></tr><br /><br /><tr><br /> <td>State Retention</td><br /> <td>1 </td><br /> <td>2 </td><br /> <td> </td><br /></tr><br /><br /><tr><br /> <td>Decaps</td><br /> <td> </td><br /> <td> </td><br /> <td>1</td><br /></tr><br /><br /></table><br /><br /><strong><br />Table 1: Verification Issues and Strategies<br /></strong><br /><br /><strong>Notes:<br /></strong><br />*You can use structural techniques to ensure that proper reset signals are present in the registers for domain under considerations but nothing better than ensuring the reset sequence occurred correctly upon wake up via power-aware simulations.<br /><br />#You can simulate power connectivity issues if you have power-aware models of cells in the design and have a power-connected netlist. In absence of such a methodology, structural checking to ensure proper connectivity is the only way out. This is a big issue in multi-voltage design and frequent cause of re-spins. <br /><br />$This is usually done in conjunction with the power connectivity checking to ensure correct power switched signals are reaching their intended destinations.<br /><br />%Formal is the most secure way of validating properties of power sequencing but this can also be validated via power-aware simulations.<br /><br />There are other power management verification issues depending upon how you have been bitten in the past but the above mentioned issues generally figure in most low power design verification list. And a coordinated verification strategy involving power-aware simulation, rule-based structural checking, and formal tools is required in your power management verification methodology.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-52675855520500486012009-08-19T15:23:00.000-07:002009-08-19T20:47:55.573-07:00Extent of Dynamic Simulation in Power Management VerificationIn the previous blog article, we took a look at some of the main power management verification issues encountered in low power designs. Typical power management verification strategy requires a combination of structural rule-checking, power-aware simulation, and formal validation to address these issues.<br /><br />One question that comes up very frequently is that of how much more simulation is needed for a design that is power-managed compared to a version of the same design did not incorporate power management. While it is not possible to quantify the answer, we can look into some of the key factors that help guide the strategy for power management verification.<br /><br />Before we get to the issue of extent of dynamic simulation, we can first discuss if any power management specific simulation is needed at all. While there are a lot of power management issues that can be statically checked, there is no substitute for simulation in dealing with a number of power management issues.<br /><br />According to Ryan Pinto of Intel, “In any power management design effort, there is no substitute for dynamic simulation. The inherent "real system" nature of such simulations is the only way to demonstrate the actual interactions between logic elements in different power states, as well as the effects of time spatiality in signal transitions due to either variable voltage ramp rates or other sequential logic elements.”<br /><br />There are some verification issues whose nature is such that they can be validated only dynamically. Power sequencing protocol which determines timings of power switching, clock gating, isolation, and retention can only be validated in a dynamic context. Some aspects of this problem can also be channeled to formal validation.<br /><br />As you cycle power through a domain multiple times during the course of operation, whether power-on-reset happened correctly each time which correct loading of registers is a classic simulation issue that needs to be power aware now.<br /><br />The extent of power-aware simulation needed depends a lot on your power management architecture itself and its complexity. You need to be able to validate the design in its possible power states (a combination of on, off, retained, and various states of on due to variable voltages) and, more importantly, in various transitions among these states.<br /><br />All of this requires validation of existing test cases in different power states and they add new test cases to address power specific issues. You have to carefully look into the differences that power management brings to efficiently upgrade you test environment for validation.<br /><br />Some power related design properties lay themselves very well to formal checking but you may require help of a power architecure expert to write these assertions for formal tools. Dr. John Goodenough, Director of Design Technology at ARM, when talking about (at DesignCon 2009) an advanced ARM media chip that has “10s” of different domains that can be turned off to save power, recommended experimenting with formal techniques on the Power Controller.<br /><br />And as you do that, you have to orchestrate your verification strategy to use structural and formal checking tools to optimize the extent of dynamic simulation needed. Power-aware simulation bring in additional test cases, running of existing test cases in different power modes, require potential extensions to your existing test environment for addressing power related issues, and careful thinking of your overall verification strategy. While it is difficult to quantify how much additional simulation is needed in general, it is important to focus on efficiently carrying out whatever that additional simulation amounts to eliminate sources of possible re-spins.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-52689695866334615142009-06-26T02:58:00.000-07:002009-06-26T03:00:21.102-07:00Top Power Management Verification IssuesWe are at the crossroads of some fundamental changes that are taking place in the semiconductor industry. Power is a primary design criterion for bulk of the semiconductor designs now. Power is a key reason behind the shift towards multi-core designs as increase in power consumption limits increases in clock speed at the rate we have seen in the past.<br /><br />Voltage is the strongest handle for managing chip power consumption. Power management techniques that leverage voltage as a handle are being extensively used in power sensitive designs. These techniques include: Power Gating (PG), Power Gating with Retention (RPG), Multiple Supply Voltages (MSV), Dynamic Voltage Scaling (DVS), Adaptive Voltage Scaling (AVS), Multi-Threshold CMOS (MTCMOS), and Active Body Bias (ABB). The use of the power management techniques also imply new challenges in validation and testing of designs as new power states are created.<br /><br />We take a look at some of the main power management verification issues based on what I have heard from various design groups using these techniques. Here are what I consider to be the “Top 10” power management verification issues, not in any order though:<br /><br />1. <strong>Reset out of wake up:</strong> Since different parts of design are awake in different modes of operation, managing reset out of power up is more complex and must be diligently managed.<br />2. <strong>Power Connectivity:</strong> Now that you have several power supply signals connecting different parts of the design, you must ensure supply correctly reaches its designated destination only.<br />3. <strong>Always-on Buffers:</strong> Some signals in a power managed designs must be always-on and ensuring always-on buffers associated with those signals is a must.<br />4. <strong>Power Domain Isolation:</strong> The switching of power implies domains outputs must be isolated properly; also, inputs depending upon the design methodology.<br />5. <strong>Power Switching Management:</strong> Ensuring correct enables to power switches and chaining of power switches to control amount of logic waking up in power sequence is necessary.<br />6. <strong>Power Controller Design:</strong> Power state controller must ensure correct signaling for domain switching, isolation, retention etc. based on the power management architecture needs.<br />7. <strong>Level-shifting:</strong> Signals that cross voltage domain boundaries need to appropriately level-shifted, and sometimes level-shifted and isolated, on all domain crossings.<br />8. <strong>Power Sequencing Protocol:</strong> Power on/off, isolation, retention, clock gating, and voltage changes must follow a signaling protocol to ensure proper working of the design.<br />9. <strong>State Retention:</strong> If retention is used with power gating, it is necessary to ensure correct retention upon wake-up whether using state retention power gating registers or save-and-restore via memory.<br />10. <strong>Decap:</strong> As multiple power domains are created, ensuring that correct decap cells have been used and connected is necessary.<br /><br />There are other power management verification issues and depending upon how you have been bitten in the past, they may make your top 10 list. It will be good to hear your experiences with these.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0tag:blogger.com,1999:blog-2648881221793939676.post-19657906079208932612009-05-28T15:15:00.000-07:002009-05-28T15:24:56.278-07:00Power-Aware Verification: Is it a front-end or a back-end issue?We are at the crossroads of some fundamental changes that are taking place in the semiconductor industry. Power consumption has become one of the most important differentiating factors for semiconductor products due to a major shift in the market towards handheld consumer devices. Power is a primary design criterion for bulk of the semiconductor designs now. Power is a key reason behind the shift towards multi-core designs as increase in power consumption limits increases in clock speed at the rate we have seen in the past.<br /><br />Voltage is the strongest handle for managing chip power consumption. Dynamic power is proportional to the square of supply voltage and leakage power has a linear relationship with it. In addition, leakage power has an exponential relationship with the threshold voltage of the device. Power management techniques that leverage voltage as a handle are bring extensively used in power sensitive designs. These techniques include: Power Gating (PG), Power Gating with Retention (RPG), Multiple Supply Voltages (MSV), Dynamic Voltage Scaling (DVS), Adaptive Voltage Scaling (AVS), Multi-Threshold CMOS (MTCMOS), and Active Body Bias (ABB). The use of the power management techniques also imply new challenges in validation and testing of designs as new power states are created.<br /><br />There are some significant new challenges in validation of designs using above mentioned techniques as new power states are created in the design. At physical level, dealing with multiple power supplies and variable power supplies present us with many new verification challenges. Can all of the power issues be addressed at the front-end in the context of simulation-based and formal validation techniques? Or is it unrealistic to even think that any true verification is possible without taking back-end into account? Or is this just one of those over-hyped problems? Some of the largest volume consumer electronic products are using these techniques and how are the companies designing these chips are getting them working in these products? How is power management of multi-core and many-core systems getting validated today?<br /><br />Power-aware validation is a major concern for designs that are leveraging leading edge power management techniques and if you are working through the challenges, I would love to hear your experiences.Bhanu Kapoor, Mimasichttp://www.blogger.com/profile/08571630543128830689noreply@blogger.com0