- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Devarajegowda, Keerthikumara; Schreiner, Johannes; Ecker, Wolfgang
- Titel:
- Synthesis of Decoder Tables using Formal Verification Tools
- Kongress- / Buchtitel:
- Design and Verification Conference and Exhibition (DVCon)
- Jahr:
- 2018
- BibTeX