The Specman automates verification processes, provides functional coverage analysis, and raises the level of abstraction for functional coverage analysis from the RTL to the architectural/specification level. This means that you can:
Easily capture your design specifications to set up an accurate and appropriate verification environment
Quickly and effectively create as many tests as you need
Create self-checking modules that include protocols checking
Accurately identify when your verification cycle is complete
The Specman Elite system provides three main enabling technologies that enhance your productivity:
--Constraint-driven test generation : You control automatic test generation by capturing constraints from the interface specifications and the functional test plan. Capturing the constraints is easy and straightforward.
--Data and temporal checking : You can create self-checking modules that ensure data correctness and temporal conformance. For data checking, you can use a reference model or a rule-based approach.
--Functional coverage analysis : You avoid creating redundant tests that waste simulation cycles, because you can measure the progress of your verification effort against a functional test plan.