../
Generating Hardware Assertion Checkers
- Year
- 2008
- Authors
- Marc Boulé, Zeljko Zilic
- DOI
- 10.1007/978-1-4020-8586-4
Related
Persistent Notes
In-text annotations
“The major problem in realizing the verification tasks lies in the difficulty of obtaining a complete specification” Page 19
%% Import Date: 2026-06-06T21:56:34.656-04:00 %%