Yanyan Gao, Xi Li. An effective model extraction method with state space compression for model checking SystemC TLM designs. In 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2013, Agios Konstantinos, Samos Island, Greece, July 15-18, 2013. pages 64-71, IEEE, 2013. [doi]
Abstract is missing.