The functional verification process starts with a written verification plan defined by the chip designers and the verification engineers. The verification plan is a document which describes the tests to be accomplished and the expected outputs. The functional verification process consists of three components:
As chip complexity has increased the functional verification software has been continuously upgraded to higher levels of abstraction in an effort to counter the complexity issues. The latest generation of software for functional verification is referred to as SystemVerilog. SystemVerilog combines the latest technology in HDL and HVL. The combined software runs in a significantly more efficient manner, with SystemVerilog becoming the standard methodology for complex chips.
Zocalo's product, Ztest provides the capability to link the verification plan with the design logic and testbench. Today the verification plan is simply a written document that provides a starting point for functional verification but immediately becomes obsolete. Attempts to keep the verification plan in sync with the design logic and testbench implementation are marginal at best and represent a major deficiency in the verification process.
Using Ztest software in conjunction with SystemVerilog provides the following:
Ztest simply enhances the existing methodology... it does not change it. The verification engineer still writes the verification plan and testbench, works with the design engineers to assess the results and coverage and implements iterations to the verification plan. The difference is they are managing the process via Ztest in a structured, single source, intelligent environment.
The adoption of SystemVerilog will bring many powerful features that can improve the verification process, but the learning curve will be steep for many of today's verification engineers. Verification engineers must be experienced in object oriented software design which is not prevalent within the traditional verification engineer skill set. Additionally, the SystemVerilog language represents a new generation of verification technology. With close to 600 pages of complex technical additions, it will take significant time for all but the most expert verification engineers to master.
Ztest impacts the SystemVerilog complexity issue by:
This powerful combination of leveraging expert SystemVerilog engineers and formalized Ztest reusability plays a major role in helping verification engineers get the most from SystemVerilog.
For further information proceed to Ztest Description White Paper.