Login
- Titel:
ACCESS: HW/SW Co-Equivalence Checking for Firmware Optimization
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Schwarz, Michael; Stahl, Rafael; Mueller-Gritschneder, Daniel; Schlichtmann, Ulf; Stoffel, Dominik; Kunz, Wolfgang
- Kongress- / Buchtitel:
- ACM/IEEE Design Automation Conference (DAC)
- Jahr:
- 2019
- Monat:
- June
BibTeX