Michael Schwarz, Dominik Stoffel, Wolfgang Kunz. ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization. In 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019. pages 1-4, VDE Verlag, 2019. [doi]