Untwist Your Brain -- Efficient Debugging and Diagnosis of Complex Assertions.
Saved in:
| Title: | Untwist Your Brain -- Efficient Debugging and Diagnosis of Complex Assertions. |
|---|---|
| Authors: | Siegel, Michael1, Michael.Siegel@onespinsolutions.com, Maggiore, Adriana2, Adriana.Maggiore@onespinsolutions.com, Pichler, Christian1, Christian.Pichler@onespinsolutions.com |
| Source: | DAC: Annual ACM/IEEE Design Automation Conference; Jul2009, p644-647, 4p, 2 Black and White Photographs |
| Database: | Applied Science & Technology Source |
| ISSN: | 0738100X |
|---|
