A framework for automated HW/SW co-verification of SystemC designs using tmed automata [Elektronische Ressource] / vorgelegt von Paula Herber

A Framework for Automated HW/SW Co-Veri cationof SystemC Designs using Timed Automatavorgelegt vonDiplom-IngenieurPaula Herbervon der Fakultat IV { Elektrotechnik und Informatikder Technischen Universitat Berlinzur Erlangung des akademischen GradesDoktor der Ingenieurwissenschaften{ Dr.-Ing. {genehmigte DissertationPromotionsausschuss:Vorsitzender: Prof. Dr. Ben JuurlinkBerichtende: Prof. Dr. Sabine GlesnerBerichtender: Prof. Dr. Rolf DrechslerTag der wissenschaftlichen Aussprache: 25. Februar 2010Berlin 2010D 83AbstractEmbedded systems are usually composed of deeply integrated hardware andsoftware components. They are often used in domains where a failure resultsin high nancial losses or even in serious injury or death. As a consequence, itis indispensable to ensure the correctness of the digital components that con-trol these systems with systematic and comprehensive verication techniques.To model and simulate complex HW/SW systems, the system level design lan-guage SystemC is widely used. However, the co-verication techniques usedfor SystemC are mostly ad-hoc and non-systematic. With that, it is eithervery expensive to verify a given design, or the results are not reliable.In this thesis, we present an approach to overcome this problem by a sys-tematic, comprehensive, and formally founded quality assurance process, whichallows automated co-verication of digital HW/SW systems that are modeledin SystemC.