Subhash Sethumurugan, Shashank Hegde, Hari Cherupalli, John Sartori: A scalable symbolic simulation tool for low power embedded systems. DAC 2022: 175-180