Digital system verification a combined formal methods and simulation framework
by
 
Li, Lun, 1970-

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

Author
: 
Li, Lun, 1970-

ISBN
: 
9781608451791

Publication Information
: 
[San Rafael, Calif.] : Morgan & Claypool Publishers, c2010.

Physical Description
: 
1 online resource (xiv, 79 p.) : ill.

Series
: 
Synthesis lectures on digital circuits and systems, #27

Series Title
: 
Synthesis lectures on digital circuits and systems, 1932-3174 ; #27

Subject Term
: 
Integrated circuits -- Verification.
 
Formal methods (Computer science)
 
Integrated circuits -- Computer simulation.

Added Author
: 
Thornton, Mitchell Aaron.

Electronic Access
: 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book279164-1001ONLINEElektronik Kütüphane