With some important public events now behind us and more on the horizon, the agendas make it clear that there is mounting pain in the realm of verifying chips with a significant blend of analog and digital circuitry. While this is not news to those in the know, it is fresh pain for a growing legion of SoC verification teams. It is starting to look as though the industry may be ready to cross the proverbial chasm if the topics at these events are reliable indicators. And the good news is that there has been a mixed-signal verification party going on for more than 20 years at Cadence, and for all of the newcomers, we’d like to welcome you! What’s driving party attendance? Back in 2009, some really good work was done, probably about five years ahead of its time. This was when the seminal work on applying the industry’s best practices on digital SoC verification was applied to the mixed-signal SoC verification problem. But, before diving into the particulars, let’s review the driving forces. At the speed of Moore’s Law, two worlds are colliding. Advanced nodes (28nm and below) have been key drivers in the evolution of analog design with needs for digital compensation and calibration on a steep rise. Massive integration capability of digital SoCs has led to the inclusion of more, and more complex, analog IP blocks. So whether you started from the “analog side” or the “digital side,” chances are you now have to be a lot more cognizant that it is a blended world and act accordingly. Figure 1: Drivers of advanced mixed-signal verification methodologies Figure 1 shows how complexity comes from all over the place, and that complexity creates challenges that rapidly transform into critical business issues. Left unchecked, these issues are pretty bad news. What I hear consistently is that there has been more bad news. But, sometimes, bad news is the impetus to drive change, and that can be a great thing. When we talk about the industry best practices in mixed-signal SoC verification, we are, of course, talking about a host of elements that include technologies, capabilities, and methodologies. But let's not overlook the value of experience. I am going to “limit” the scope to mixed-signal simulation technology and methodology. What we have proven in terms of formal, static, and other areas can be covered in coming posts (cheers). So, the party is raging and everyone is having a great time, but they are all dancing around that big elephant right in the middle of the room. For mixed-signal verification, that elephant is named modeling. More about that in my installment of The Low Road. Critical elements for a good party Back to the party. Just like a great party has to have fun people, good food, and great music, there is a lot that goes into a great mixed-signal simulation solution. Starting with the basic needs perspective, the crucial elements are: Approach : There are industry best practices that have been applied on the biggest, most complex digital SoCs ever created. It turns out that the overhead of the structure and rigor of this approach is not so large as to only apply to billion transistor digital designs. The approach is practical, thorough, and proven. It is the Metrics-driven Unified Verification Methodology for Mixed-Signal SoC--affectionately known from here on out as MD-UVM-MS (and yes, there will be a more acronyms). What is special here is the adaptation of the special needs of analog designers. Methodology : Having a methodology that scales provides uniformity, and reuse is at the core of the value proposition for the Unified Verification Methodology (UVM). The standard creates an object-oriented modular approach that can be parameterized. There are lots of great documentation and training resources available on UVM (see, for instance, this UVM primer and this UVM backgrounder ). Measure: The old adage, 'what you measure will improve' certainly has been proven for SoC verification. There are many metric types that are being used today for measuring the progress, effectiveness, and completeness of an SoC verification suite. Further, the linking of the metrics to tests and then to the debug environment creates a much faster, more methodical, path to verification convergence. Click here for more information . Leverage multi-engine technology : Just like a general-purpose processor is great to have in an SoC and you may also find many other computational elements on the same chip that have been optimized for a task, the same is true for verification engines. While RTL simulation remains the central workhorse for SoC verification, acceleration, emulation, and FPGA prototyping hardware solutions all have expanding roles in bringing a bug-free chip to market. Similarly, static (vector-less) formal engines are addressing a broader sector of the verification effort. While SPICE engines remain the workhorse for analog IP development, the application of a metrics-driven approach with analog assertions provides a bridge to the rigor of MD-UVM-MS. This blog post has lots of good information regarding this. Modeling/abstraction : When I write next about the elephant in the room, one point I'll highlight is the fundamental differences in computation required for continuous time versus discrete time simulation. To bridge the difference, a modeling abstraction or approximation must take place. The essential trade-off between execution time and modeling detail is perhaps among the most difficult to make. The essence of the impact of the decision is to understand what cannot be tested with the abstracted representation and make sure that those aspects of the design are tested in a more detailed context. Good first reads on the subject is can be found here at Tech Design Forum and here at SemiWiki . Language agnostic : Just like one engine technology does not fit all verification tasks in the most optimal manner, neither does a single language. The broader the span of the problem, the more likely it is that there exists a simpler combination of language and engine. For this reason, a huge investment has been made to ensure that all of the choices available have been made to fit together. This investment provides a verification solution of maximal quality and productivity. More resources on this and other topics can be found here . Getting Started Let’s face it, most of us resist change unless there is some kind of pain or anticipated pleasure ahead (some may combine the two, but that’s a blog for a completely different forum). Thus far we have seen some common threads on how teams complete the journey from bifurcated analog and digital design verification to mixed-signal SoC verification. You really can’t get started until the conceptual hurdle of multi-domain (continuous analog and discrete digital) simulation is jumped. If there is not enough impetus in your chip projects to drive the adoption of multi-domain simulation, then there is probably not enough upside to looking towards MD-UVM-MS. The currently most common drivers of mixed-signal verification methodology change are the runtime problem of co-simulation of SPICE engines with RTL digital engines and the verification of complex power management modes. Figure 2 depicts this path from multi-domain simulation to real number modeling and power management. Figure 2: Most common adoption paths observed for MD-UVM-MS Adaptation of metrics-driven methodology and the rigor of formally connecting the verification planning and management have generally followed. The industry-standard Unified Verification Methodology (UVM) has remarkable momentum and deployment amongst SoC verification teams. This methodology is extensible up to system verification and software-driven testbench approaches. In summary, it is not an all or nothing proposition to get to MD-UVM-MS. There are steps along the way that build in the right direction as familiarity, experience, and expertise are built in an organization. Looking Forward And, the party does not end there! Moving up to incorporate both the early and on-going systems-level work into the SoC verification picture is an active avenue of innovation. Come to the party. It is raging on, and there is a ton of productivity-filled, quality pleasure ahead! Steve Carlson Related Stories : -- Archived Webinar: Cadence, ARM Forge Design Flow for Mixed-Signal Internet of Things (IoT) SoCs
↧