Login
- Title:
ACCESS: HW/SW Co-Equivalence Checking for Firmware Optimization
- Document type:
- Konferenzbeitrag
- Author(s):
- Schwarz, Michael; Stahl, Rafael; Mueller-Gritschneder, Daniel; Schlichtmann, Ulf; Stoffel, Dominik; Kunz, Wolfgang
- Book / Congress title:
- ACM/IEEE Design Automation Conference (DAC)
- Year:
- 2019
- Month:
- June
BibTeX