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]
@inproceedings{HegdeSCDS21,
title = {Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded Systems},
author = {Shashank Hegde and Subhash Sethumurugan and Hari Cherupalli and Henry Duwe and John Sartori},
year = {2021},
doi = {10.1145/3394885.3431157},
url = {https://doi.org/10.1145/3394885.3431157},
researchr = {https://researchr.org/publication/HegdeSCDS21},
cites = {0},
citedby = {0},
pages = {318-324},
booktitle = {ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, Tokyo, Japan, January 18-21, 2021},
publisher = {ACM},
isbn = {978-1-4503-7999-1},
}