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

Michael Schwarz, Raphael Stahl, Daniel Mller-Gritschneder, Ulf Schlichtmann, Dominik Stoffel, Wolfgang Kunz

Browse the full DAC paper archive.