Trace theory for automatic hierarchical verification of speed-independent circuits
Dill, David L.
Trace theory for automatic hierarchical verification of speed-independent circuits - - Cambridge : MIT Press, 1989 1989 - 163 p. 22 cm - .
0-262-04101-49
Switching circuits
Integrated circuits-Very largescale integration
Sequential machine theory
621.374.32:681.3 Dil
Trace theory for automatic hierarchical verification of speed-independent circuits - - Cambridge : MIT Press, 1989 1989 - 163 p. 22 cm - .
0-262-04101-49
Switching circuits
Integrated circuits-Very largescale integration
Sequential machine theory
621.374.32:681.3 Dil