{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:52Z","timestamp":1750220392642,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,10]],"date-time":"2022-07-10T00:00:00Z","timestamp":1657411200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["1919190"],"award-info":[{"award-number":["1919190"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,10]]},"DOI":"10.1145\/3489517.3530433","type":"proceedings-article","created":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T23:19:29Z","timestamp":1661296769000},"page":"175-180","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A scalable symbolic simulation tool for low power embedded systems"],"prefix":"10.1145","author":[{"given":"Subhash","family":"Sethumurugan","sequence":"first","affiliation":[{"name":"University of Minnesota"}]},{"given":"Shashank","family":"Hegde","sequence":"additional","affiliation":[{"name":"University of Minnesota"}]},{"given":"Hari","family":"Cherupalli","sequence":"additional","affiliation":[{"name":"Synopsys Inc."}]},{"given":"John","family":"Sartori","sequence":"additional","affiliation":[{"name":"University of Minnesota"}]}],"member":"320","published-online":{"date-parts":[[2022,8,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Property-driven Automatic Generation of Reduced-ISA Hardware. In 2021 58th ACM\/IEEE Design Automation Conference (DAC). IEEE, 349--354","author":"Bleier Nathan","year":"2021","unstructured":"Nathan Bleier, John Sartori, and Rakesh Kumar. 2021. Property-driven Automatic Generation of Reduced-ISA Hardware. In 2021 58th ACM\/IEEE Design Automation Conference (DAC). IEEE, 349--354."},{"key":"e_1_3_2_1_2_1","volume-title":"Ultra-low-power pioneers: TI slashes total MCU power by 50 percent with new \"Wolverine\" MCU platform. Texas Instruments White Paper","author":"Borgeson Jacob","year":"2012","unstructured":"Jacob Borgeson. 2012. Ultra-low-power pioneers: TI slashes total MCU power by 50 percent with new \"Wolverine\" MCU platform. Texas Instruments White Paper (2012). http:\/\/www.ti.com\/lit\/wp\/slay019a\/slay019a.pdf"},{"key":"e_1_3_2_1_3_1","unstructured":"Cadence. [n.d.]. Encounter User Guide. http:\/\/www.cadence.com\/"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3079856.3080247"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3148052"},{"key":"e_1_3_2_1_6_1","volume-title":"Enabling Effective Module-oblivious Power Gating for Embedded Processors. In 2017 IEEE International Symposium on High Performance Computer Architecture (HPCA). IEEE, 157--168","author":"Cherupalli Hari","year":"2017","unstructured":"Hari Cherupalli, Henry Duwe, Weidong Ye, Rakesh Kumar, and John Sartori. 2017. Enabling Effective Module-oblivious Power Gating for Embedded Processors. In 2017 IEEE International Symposium on High Performance Computer Architecture (HPCA). IEEE, 157--168."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3123939.3123955"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2016.64"},{"key":"e_1_3_2_1_9_1","unstructured":"darklife. 2021. DarkRISCV open source riscv implementation. (2021). https:\/\/github.com\/darklife\/darkriscv"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/IMTC.2006.328308"},{"key":"e_1_3_2_1_11_1","unstructured":"Olivier Gerard. 2018. openMSP430 a synthesizable 16bit microcontroller core written in Verilog. (2018). https:\/\/opencores.org\/projects\/openmsp430"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDMR.2005.858914"},{"key":"e_1_3_2_1_13_1","volume-title":"OpenMSP430 project. available at opencores.org","author":"Girard O","year":"2013","unstructured":"O Girard. 2013. OpenMSP430 project. available at opencores.org (2013)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.30"},{"key":"e_1_3_2_1_15_1","volume-title":"Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded Systems. In 2021 26th Asia and South Pacific Design Automation Conference (ASP-DAC). 318--324","author":"Hegde Shashank","year":"2021","unstructured":"Shashank Hegde, Subhash Sethumurugan, Hari Cherupalli, Henry Duwe, and John Sartori. 2021. Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded Systems. In 2021 26th Asia and South Pacific Design Automation Conference (ASP-DAC). 318--324."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.orgel.2012.12.027"},{"key":"e_1_3_2_1_17_1","volume-title":"Networking and Communications (WiMob), 2013 IEEE 9th International Conference on. IEEE, 189--195","author":"Magno Michele","year":"2013","unstructured":"Michele Magno, Luca Benini, Christian Spagnol, and E Popovici. 2013. Wearable low power dry surface wireless sensor node for healthcare monitoring application. In Wireless and Mobile Computing, Networking and Communications (WiMob), 2013 IEEE 9th International Conference on. IEEE, 189--195."},{"key":"e_1_3_2_1_18_1","volume-title":"Enhancing Workload-dependent Voltage Scaling for Energy-efficient Ultra-low-power Embedded Systems. In 2018 55th ACM\/ESDA\/IEEE Design Automation Conference (DAC). 1--6.","author":"Mohan Veni","year":"2018","unstructured":"Veni Mohan, Akhilesh Iyer, and John Sartori. 2018. Enhancing Workload-dependent Voltage Scaling for Energy-efficient Ultra-low-power Embedded Systems. In 2018 55th ACM\/ESDA\/IEEE Design Automation Conference (DAC). 1--6."},{"key":"e_1_3_2_1_19_1","volume-title":"Soeren Steudel, Brian Cobb, Aashini Gulati, Francisco Gonzalez Rodriguez, Koji Obata, et al.","author":"Myny Kris","year":"2014","unstructured":"Kris Myny, Steve Smout, Maarten Rockel\u00e9, Ajay Bhoolokam, Tung Huei Ke, Soeren Steudel, Brian Cobb, Aashini Gulati, Francisco Gonzalez Rodriguez, Koji Obata, et al. 2014. A thin-film microprocessor with inkjet print-programmable memory. Scientific reports 4 (2014), 7398."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC.2011.5746337"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TBCAS.2010.2076281"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/BIOCAS.2006.4600353"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2248487.1950386"},{"key":"e_1_3_2_1_24_1","unstructured":"C. Roth L.K. John and B.K. Lee. 2015. Digital Systems Design Using Verilog. Cengage Learning. https:\/\/books.google.com\/books?id=Qi1BBAAAQBAJ"},{"key":"e_1_3_2_1_25_1","unstructured":"Synopsys. [n.d.]. Design Compiler User Guide. http:\/\/www.synopsys.com\/"},{"key":"e_1_3_2_1_26_1","unstructured":"Synopsys. [n.d.]. VCS\/VCSi User Guide. http:\/\/www.synopsys.com\/"},{"volume-title":"List of wireless sensor nodes. https:\/\/en.wikipedia.org\/wiki\/List_of_wireless_sensor_nodes [Online","year":"2016","key":"e_1_3_2_1_28_1","unstructured":"Wikipedia. 2016. List of wireless sensor nodes. https:\/\/en.wikipedia.org\/wiki\/List_of_wireless_sensor_nodes [Online; accessed 7-April-2016]."},{"key":"e_1_3_2_1_29_1","volume-title":"Icarus Verilog: Open-Source Verilog More than a Year Later. Linux J.","author":"Williams Stephen","year":"2002","unstructured":"Stephen Williams and Michael Baxter. 2002. Icarus Verilog: Open-Source Verilog More than a Year Later. Linux J. 2002, 99 (jul 2002), 3."},{"key":"e_1_3_2_1_30_1","volume-title":"Low Power Wireless Sensor Networks for the Internet of Things: Making Wireless Sensors as Accessible as Web Servers. Linear Technology","author":"Yu Ross","year":"2013","unstructured":"Ross Yu and Thomas Watteyne. 2013. Reliable, Low Power Wireless Sensor Networks for the Internet of Things: Making Wireless Sensors as Accessible as Web Servers. Linear Technology (2013). http:\/\/cds.linear.com\/docs\/en\/white-paper\/wp003.pdf"},{"key":"e_1_3_2_1_31_1","first-page":"1127","article-title":"Energy-efficient subthreshold processor design. Very Large Scale Integration (VLSI) Systems","volume":"17","author":"Zhai Bo","year":"2009","unstructured":"Bo Zhai, Sanjay Pant, Leyla Nazhandali, Scott Hanson, Javin Olson, Anna Reeves, Michael Minuth, Ryan Helfand, Todd Austin, Dennis Sylvester, et al. 2009. Energy-efficient subthreshold processor design. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on 17, 8 (2009), 1127--1137.","journal-title":"IEEE Transactions on"}],"event":{"name":"DAC '22: 59th ACM\/IEEE Design Automation Conference","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA"],"location":"San Francisco California","acronym":"DAC '22"},"container-title":["Proceedings of the 59th ACM\/IEEE Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3489517.3530433","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3489517.3530433","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3489517.3530433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:39Z","timestamp":1750191519000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3489517.3530433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,10]]},"references-count":30,"alternative-id":["10.1145\/3489517.3530433","10.1145\/3489517"],"URL":"https:\/\/doi.org\/10.1145\/3489517.3530433","relation":{},"subject":[],"published":{"date-parts":[[2022,7,10]]},"assertion":[{"value":"2022-08-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}