Partial order reduction for scalable testing of systemC TLM designs.

Sudipta Kundu, Malay K. Ganai, Rajesh Gupta

Browse the full DAC paper archive.