![](/img/cover-not-exists.png)
[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Panel: Assertion-Based Verification -What's the Big Deal?
Shukla, Sandeep, Hu, Alan, Abrahams, Jacob, Ashar, Pranav, Foster, Harry, Landver, Avner, Pixley, CarlYear:
2006
Language:
english
DOI:
10.1109/hldvt.2006.319989
File:
PDF, 857 KB
english, 2006