Digital system verification : a combined formal methods and simulation framework /

Bibliographic Details
Main Author:	Li, Lun, 1970-
Other Authors:	Thornton, Mitchell Aaron
Format:	Book
Language:	English
Published:	[San Rafael, Calif.] : Morgan & Claypool Publishers, [2010]
Series:	Synthesis lectures on digital circuits and systems ; #27.
Subjects:	Integrated circuits > Verification. Formal methods (Computer science) Integrated circuits > Computer simulation.

Evans: Library Stacks