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
Added Author:
Electronic Access:
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 279164-1001 | ONLINE | Searching... | Searching... |