Sign in

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

Michael SchwarzRaphael StahlDaniel Müller-GritschnederUlf SchlichtmannDominik StoffelWolfgang Kunz
Published in: DAC (2019)
Keyphrases
  • hw sw
  • hardware software
  • access control
  • embedded systems
  • hardware and software
  • design methodology
  • computer systems
  • operating system
  • real time
  • efficient implementation
  • hardware software partitioning