Properties Coverification for HW/SW Systems
Mostafa Azizi, E.M. Aboulhamid, Sofiène Tahar · 1999
. The coverification of a given HW/SW system consists of checking whether the implementation of the software and hardware parts and their integration fulfill or not some or all the specification requirements of this system. In the case of a distributed model, the SW and HW system blocks are described respectively by HLL (High Level Language) and HDL (Hardware Description Language) codes. When dealing with a unified model, both SW and HW components are implemented in the same language such as Java. In this paper, we propose a tool that allows designers to specify the properties of their systems in CPL (Coverification Properties description Language), and performs the coverification by simulation. The engine of this tool is implemented using the Java programming language and is mainly based on the management of threads. I. Introduction To avoid an eventual lengthy iterative codesign process of a given HW/SW system (that is often a result of an unsuccessful integration of hard...