Early Formal Verification of Conditional Coverage Points to Identify Intrinsically Hard-to-Verify Logic.
Saved in:
| Title: | Early Formal Verification of Conditional Coverage Points to Identify Intrinsically Hard-to-Verify Logic. |
|---|---|
| Authors: | Ho, C. Richard1, richardh@DEShawResearch.com, Theobald, Michael1, theobald@DEShawResearch.com, Deneroff, Martin M.1, deneroff@DEShawResearch.com, Dror, Ron O.1, dror@DEShawResearch.com, Gagliardo, Joseph1, gagliard@DEShawResearch.com, Shaw, David E.1, shaw@DEShawResearch.com |
| Source: | DAC: Annual ACM/IEEE Design Automation Conference; 2008, p268-271, 4p, 2 Diagrams, 2 Charts |
| Database: | Applied Science & Technology Source |
| ISSN: | 0738100X |
|---|
