A Framework for Automated HWSW Co Verification .pdf

Embedded systems are usually composed of deeply integrated hardware and software components. They are often used in domains where a failure results in high nancial losses or even in serious injury or death. As a consequence, it is indispensable to ensure the correctness of the digital components that control these systems with systematic and comprehensive verication techniques. To model and simulate complex HW/SW systems, the system level design language SystemC is widely used.