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

Bibliographic Details
Main Author:	Li, Lun, 1970-
Other Authors:	Thornton, Mitchell Aaron
Format:	eBook
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. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online