Rolf Drechsler, Daniel Große. Reachability Analysis for Formal Verification of SystemC. In 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), Systems-on-Chip, 4-6 September 2002, Dortmund, Germany. pages 337-340, IEEE Computer Society, 2002. [doi]
Abstract is missing.