A Framework for Automated Hw/SW Co-Verification of Systemc Designs Using Timed Automata

By Paula Herber

In this dissertation, we present a systematic, comprehensive, and formally founded quality assurance process, which allows automated co-verification of digital hardware/software systems that are... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3832525114
• ISBN13: 9783832525118
• Release Date: June 2010
• Publisher: Logos Verlag Berlin
• Length: 145 Pages