ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Michael Schwarz' in GoogleThis author has not been identified. Look up 'Dominik Stoffel' in GoogleThis author has not been identified. Look up 'Wolfgang Kunz' in Google

runs on WebDSL