At DAC 2010, ECSI (Electronic Chips & Systems design Initiative) is offering a workshop titled, Choosing Advanced Verification Methods. The workshop will present a survey of recent verification solution advances and will bring insight into the effects these technologies are having on leading edge design projects. Measurable impact on quality, time-to-market, schedule, efficiency, and actual ROI will be analyzed. Participants will be able to hear from real engineers about their verification problems and their experiences in the deployment of these technologies.
Choosing Advanced Verification Methods Workshop
Advances in Formal Verification and its Widespread Adoption as a Sign-off Tool
Technological advances in formal verification have led to increased controllability and observability in the design and verification process. Jasper formal verification pushes the envelope on performance and capacity with new engines, algorithms, and distributed runs across multi-threaded machines and farms. Its application is not restricted to, and has gone above and beyond the typical verification use. Formal can now be used early in the design cycle by RTL designers to gain confidence and prove the functional correctness. The advanced technologies which enable early formal use for RTL developers are behavior indexing and a persistent database, to name a few.
Formal Verification: So Many Applications
Thanks to recent improvements in the formal verification (FV) tools, this approach can now be recognized as a valuable complement to simulation-based validation. Traditional applications of FV are proofs of embedded or architectural properties. We will show how we have applied FV on the ARM CortexA9 processor in these areas, providing a fully automatic flow to maximize the number of exhaustive proofs as well as counter-examples, if any. But FV has many other applications. We will detail how it was a key methodology to answer other problems, mainly related to customer support requests.
Advanced Innovations in Testbench Technology
As verification complexity increases, the need for modern verification technology such as constrained random testbench, coverage, and assertions has become imminent. Synopsys has historically pioneered these technologies which have enabled users experience consistently faster and more effective verification. Now with SystemVerilog testbenches and design code exceeding 10M+ lines, Two recent innovative technologies have significantly improved functional verification: Multicore processing, in the area of verification speed; and the second, Echo Testbench Coverage Convergence, in the area of verification automation. In addition new approaches in constraint solving have significantly improved testbench runtime and capabilities. In this session, these recent technology innovations are presented and described.
VCS Echo Testbench Coverage Convergence Technology for Rapid Verification Closure
Verification of todays complex digital designs forms 70% of design cycle, and as a result reducing verification time while maintaining or improving quality goals directly impacts time to market of any product. Creating coverage models, running tests and analyzing results while retaining seeds that provide good coverage are more or less manual, highly iterative, and very time consuming. VCS Echo testbench coverage convergence technology offers an automated way to address this challenge. In this presentation, the results and benefits of application of the VCS Echo technology to a recent project are shared.
Verification Planning Advances Using a Metric Driven Verification Closed Loop Process
The recently announced Unified Verification Methodology (UVM) provides significant benefits to the industry to increase the productivity of verification teams. One of the key system verification aspects of UVM is its ability to span transaction level (TLM) and register transfer level (RTL) abstractions. Just handling the abstractions of TLM and RTL isnt enough to provide a comprehensive verification strategy. System level verification requires the consideration of software, and hardware/software interfaces. Since the scope of the system to RTL verification problem is so broad, a systematic approach is needed for verification planning and tracking metrics that measure progress to manage successful project completion. This talk with cover the requirements and highlight solutions available today for addressing this industry challenge.
Verification Methodology and Productivity Gains using High Level Synthesis
High level synthesis promises productivity and IP reusability gains. An additional productivity improvement opportunity is the throughput of functional verification. This talk presents our verification methodology for design verification with high level synthesis, and experimental results when using the Cadence solution.
More information: Design Automation Conference