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

Başlık
: 
Trace theory for automatic hierarchical verification of speed-independent circuits

Yazar
: 
Dill, David L.

ISBN
: 
9780262256025

Yayın Bilgileri
: 
Cambridge, Mass. : MIT Press, c1989.

Fiziksel Tanımlama
: 
1 online resource (163 p.) : ill.

Seri
: 
ACM distinguished dissertations

Seri Başlığı
: 
ACM distinguished dissertations

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

Tür
: 
Geschwindigkeitsunabhängigkeit.

Elektronik Erişim
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap220184-1001ONLINEElektronik Kütüphane