Title:
Trace theory for automatic hierarchical verification of speed-independent circuits
Author:
Dill, David L.
ISBN:
9780262256025
Publication Information:
Cambridge, Mass. : MIT Press, c1989.
Physical Description:
1 online resource (163 p.) : ill.
Series:
ACM distinguished dissertations
Series Title:
ACM distinguished dissertations
Electronic Access:
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 220184-1001 | ONLINE | Searching... | Searching... |