Michael Schwarz, Raphael Stahl, Daniel Müller-Gritschneder, Ulf Schlichtmann, Dominik Stoffel, Wolfgang Kunz. ACCESS: HW/SW Co-Equivalence Checking for Firmware Optimization. In Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, June 02-06, 2019. pages 187, ACM, 2019. [doi]
Abstract is missing.