Formal Methods in Automated Design Debugging
The relentless growth in size and complexity of semiconductor devices over the last decades continues to present new challenges to the electronic design community. Today, functional debugging is a bottleneck that jeopardizes the future growth of the industry as it can account for up to 30% of the ov...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_ca |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1807/17828 |