A Tractable and Fast Method for Monitoring SystemC TLM Specifications

Laurence Pierre, Luca Ferro. A Tractable and Fast Method for Monitoring SystemC TLM Specifications. IEEE Transactions on Computers, 57(10):1346-1356, 2008. [doi]

Abstract

Abstract is missing.