Trace theory for automatic hierarchical verification of speed-independent circuits

Saved in:
Bibliographic Details
Main Author: Dill, David L.
Format: eBook
Language: English
Published: Cambridge, Mass. : MIT Press, c1989.
Series: ACM distinguished dissertations.
Subjects:
Switching circuits.
Integrated circuits > Very large scale integration.
Sequential machine theory.
Integrated circuits > Verification.
elektronické knihy
electronic books
ISBN: 9780262256025
Physical Description: 1 online zdroj (163 p.) : ill.

Cover

Table of contents

LEADER 01655cam a2200373 a 4500
001 75009
003 CZ ZlUTB
005 20240911212358.0
006 m d
007 cr un
008 130208s1989 maua sb 001 0 eng d
020 |a 9780262256025  |q (ebook) 
035 |a (OCoLC)827012431 
040 |a IEEEE  |c IEEEE  |d OCLCF 
100 1 |a Dill, David L. 
245 1 0 |a Trace theory for automatic hierarchical verification of speed-independent circuits  |h [elektronický zdroj] /  |c David L. Dill. 
260 |a Cambridge, Mass. :  |b MIT Press,  |c c1989. 
300 |a 1 online zdroj (163 p.) :  |b ill. 
490 1 |a ACM distinguished dissertations 
504 |a Bibliography: p. [153]-159. 
500 |a Includes index. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity 
650 0 |a Switching circuits. 
650 0 |a Integrated circuits  |x Very large scale integration. 
650 0 |a Sequential machine theory. 
650 0 |a Integrated circuits  |x Verification. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
776 0 8 |i Print version:  |a Dill, David L.  |t Trace theory for automatic hierarchical verification of speed-independent circuits.  |d Cambridge, Mass. : MIT Press, c1989  |z 0262041014  |w (DLC) 89012546  |w (OCoLC)20014870 
830 0 |a ACM distinguished dissertations. 
856 4 0 |u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249  |y Plný text 
992 |a BK  |c EBOOK-TN  |c MITPRESS 
999 |c 75009  |d 75009 
993 |x NEPOSILAT  |y EIZ 

Similar Items