6 search results - page 2 / 2 » Analyzing Formal Verification and Testing Efforts of Differe... |
DAC
2010
ACM
13 years 8 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...