BackSpace : formal analysis for post-silicon debug
IC technology continues to closely follow Moore's Law, while the ability to verify designs lags behind. The International Technology Roadmap for Semiconductors (ITRS) predicts production of chips using 16nm technology already by 2015, but the verification gap, i.e., advancements in verification...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
University of British Columbia
2012
|
| Online Access: | http://hdl.handle.net/2429/42322 |