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
Online Access	Full text
ISBN	9780262256025
Physical Description	1 online zdroj (163 p.) : ill.

Online Access

Full text