Functional verification consumes a significant portion of the time and resources devoted to the typical
design project. As chips continue to grow in size and complexity, designers must increasingly rely on a
dedicated verification team to ensure that systems fully meet their specifications.
Verification engineers have at their disposal a set of dedicated tools and methodologies for verification
automation and quality improvement. In spite of this, functional logic errors remain a significant cause of
project delays and re‐spins. A key reason is that two important aspects of verification environment quality
– the ability to propagate the effect of a bug to an observable point and the ability to observe the faulty
effect and thus detect the bug – cannot be analyzed or measured. Existing methods, such as functional
coverage and code coverage, largely ignore these two aspects, allowing functional errors to escape the
verification process despite excellent coverage scores. Existing tools are simply unable to assess the
overall quality of simulation‐based functional verification environments.
The Certitude Functional Qualification System from SpringSoft incorporates unique technology that
measures and drives improvement of all aspects of functional verification quality for simulation‐based
environments. This paper describes the fundamental aspects of functional verification that remain
invisible to existing verification tools. It then introduces the origins and main concepts of a technology
that allows this gap to be closed: Mutation‐based testing. It describes how SpringSoft uses this technology
to deliver Certitude, the industry’s first functional qualification solution. Finally, it describes how
You are reviewing the
Download.
Your machine is locate at 3.145.58.141.
