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

• They cite three sources. All three are deadlinks
• The first is blank Synopsys publication. Idk if they asked someone from synopsys or if there was a white paper with that title
• The second is Electronic Engineering Design. I couldn’t find any online versions. But it is in Brown’s stacks
• The third also seems to be some sort of a magazine from 2002. I couldn’t find it online.

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 %%