Trace theory for automatic hierarchical verification of speed-independent circuits
by
 
Dill, David L.

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

Subject Term
: 
Switching circuits.
 
Integrated circuits -- Very large scale integration.
 
Sequential machine theory.
 
Integrated circuits -- Verification.
 
Asynchrones Schaltwerk.
 
Computerarchitektur.
 
Hardwareverifikation.
 
Integrierte Schaltung.

Genre
: 
Geschwindigkeitsunabhängigkeit.

Electronic Access
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249


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