Trace theory for automatic hierarchical verification of speed-independent circuits - Dill, David L. (MIT Press, 1989)
Includes index.
Keywords: Switching circuits.; Integrated circuits -- Very large scale integration.; Sequential machine theory.; Integrated circuits -- Verification.; elektronické knihy; electronic books