multithreading-based coverification technique of HW/SW systems

摘要

An embedded system consists of a set of heterogeneous components. These components may be software or hardware b locks with a limited specification. A global verification of such systems to check the equivalence between their implementation and their specification is challenging. Number of tools such as Seamless-CVE and Eaglei are now available. These tools perform the coverificaiton of HW/Se systems by cosimulation.