Shashank Hegde, Subhash Sethumurugan, Hari Cherupalli, Henry Duwe, John Sartori. Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded Systems. In ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, Tokyo, Japan, January 18-21, 2021. pages 318-324, ACM, 2021. [doi]
Abstract is missing.