Sudipta Kundu, Malay K. Ganai, Rajesh Gupta. Partial order reduction for scalable testing of systemC TLM designs. In Limor Fix, editor, Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008. pages 936-941, ACM, 2008. [doi]
Abstract is missing.