Trace theory for automatic hierarchical verification of speed-independent circuits

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