Verification of asynchronous and parametrized hardware designs : monograph

• Main Authors: Smrčka, Aleš, 1980- (Author), Vojnar, Tomáš, 1973- (Author)
• Format: Book
• Language: English
• Published: Brno : Faculty of Information Technology, Brno University of Technology, 2010
• Edition: Vyd. 1.
• Subjects: počítačové systémy; hardware; modelování a simulace; computer systems; computer hardware; modeling and simulation; formální verifikace; monografie; monographs
• ISBN: 9788021442146 978-80-214-3547-6
• Physical Description: vi, 115 s. : il. ; 25 cm