Treffer: Practical formal verification in microprocessor design
Title:
Practical formal verification in microprocessor design
Authors:
Source:
IEEE Design & Test of Computers IEEE Des. Test. Comput. Design & Test of Computers, IEEE. 18(4):16-25 Aug, 2001
Database:
IEEE Xplore Digital Library