Trace theory for automatic hierarchical verification of speed-independent circuits

David L. Dill
Bok · Engelsk · 1989

Utgitt	Cambridge, Mass. : MIT Press , c1989
Omfang	163 s. : ill.
Emner	Integrated circuits - Very large scale integration Sequential machine theory Switching circuits Evaluering Vlsi
ISBN	0262041014