Trace theory for automatic hierarchical verification of speed-independent circuits

Saved in:
Bibliographic Details
Main Author Dill, David L.
Format eBook
LanguageEnglish
Published Cambridge, Mass. : MIT Press, c1989.
SeriesACM distinguished dissertations.
Subjects
Switching circuits.
Integrated circuits > Very large scale integration.
Sequential machine theory.
Integrated circuits > Verification.
elektronické knihy
electronic books
Online AccessFull text
ISBN9780262256025
Physical Description1 online zdroj (163 p.) : ill.

Cover

More Information
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
Physical Description:1 online zdroj (163 p.) : ill.

Similar Items