2026-06-05

Block-based Schema-driven Assertion Generation for Functional Verification

Year

2005

Authors

A. Hekmatpour, A. Salehi

DOI

10.1109/ATS.2005.30

Related

Persistent Notes

In-text annotations

“Defining assertions, ensuring their completeness and accuracy and maintaining a large number of assertions has proven to be the new verification bottleneck." Page 1

“Defining assertions, ensuring their completeness and accuracy and maintaining a large number of assertions throughout the design architectural and specification changes has proved to be the new verification bottleneck” Page 1

%% Import Date: 2026-06-05T17:46:16.452-04:00 %%