| Title: | Formal Techniques for Effective Co-verification of Hardware/Software Co-designs |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Rajdeep Mukherjee |
| Mitra Purandare | |
| Raphael Polig | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{mppk2017,
AUTHOR = { Mukherjee, Rajdeep
and Purandare, Mitra
and Polig, Raphael
and Kroening, Daniel },
TITLE = { Formal Techniques for Effective Co-verification of Hardware/Software Co-designs },
BOOKTITLE = { Design Automation Conference (DAC) },
YEAR = { 2017 },
PUBLISHER = { ACM },
ISBN = { 978-1-4503-4927-7 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.