ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization.

Michael Schwarz Dominik Stoffel Wolfgang Kunz

Published in: MBMV (2019)

Keyphrases

hw sw
hardware software
embedded systems
operating system
access control
computer systems
design methodology
power consumption