Assertion-Based Design by Harry D. Foster, Adam C. Krolnik, David J. Lacey.
There is much excitement in the design and verification community about assertion-based design. The question is, who should study assertion-based design? The emphatic answer is, both design and verification engineers. What may be unintuitive to many design engineers is that adding assertions to RTL...
Full description
Saved in: