Multithreading-based Coverification Technique of HW/SW Systems.
Mostafa Azizi, E.M. Aboulhamid, Sofiène Tahar · 1999
An embedded system consists of a set of heterogeneous components. These components may be software or hardware blocks 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 coverification of HW/SW systems by cosimulation. This latter simulates concurrently the SW and HW components described respectively by HLL (High Level Language) and HDL (Hardware Description Language) codes. To improve the coverification process, we propose a methodology based on principles of multithreading and guided simulation. In this approach the software subsystem appears as a set of intercommunicating threads. Concurrent threads implement the communication with the hardware subsystem. Properties that should be verified can be added dynamically by creating new threads allowing their concurrent evaluation. T...