Robustness and Usability in Modern Design Flows

The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. Using a visionary approach, this book analyzes the current design methodology and verification methodology, a number of deficiencies are identified and solutions suggested.