Issue No.10 - October (2008 vol.57)
Laurence Pierre , TIMA, Grenoble
Luca Ferro , TIMA, grenoble
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2008.74
The TLM modeling level of the SystemC language emphasizes the transactions in a complex system, considered at a very high level of abstraction. This level of specification considerably improves simulation performance and is therefore increasingly being adopted. We address assertion-based verification (ABV) of TLM SystemC models. We propose a framework for supervising during simulation the verification of temporal properties expressed in PSL. Very few modifications are needed in the original SystemC code. The TLM specification can be timed or not. The properties can involve several channels, of different types.
Systems specification methodology, Verification
Laurence Pierre, Luca Ferro, "A Tractable and Fast Method for Monitoring SystemC TLM Specifications", IEEE Transactions on Computers, vol.57, no. 10, pp. 1346-1356, October 2008, doi:10.1109/TC.2008.74