A scalable symbolic simulation tool for low power embedded systems.

Subhash Sethumurugan, Shashank Hegde, Hari Cherupalli, John Sartori

Browse the full DAC paper archive.