Description: Trace theory for automatic hierarchical verification of speed-independent circuits

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.

Description
Item Description:	Includes index.
Bibliography:	Bibliography: p. [153]-159.
ISBN:	9780262256025
Access:	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