Title: | Instantiating uninterpreted functional units and memory system: functional verification of the VAMP processor |
---|---|
Links: | Document as Postscript Document as PDF |
Authors: | Sven Beyer |
Christian Jacobi | |
Daniel Kroening EMail | |
Dirk Leinenbach | |
Wolfgang Paul | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{bjklp03, AUTHOR = { Beyer, Sven and Jacobi, Christian and Kroening, Daniel and Leinenbach, Dirk and Paul, Wolfgang }, TITLE = { Instantiating uninterpreted functional units and memory system: functional verification of the {VAMP} processor }, BOOKTITLE = { Proc.\ of the 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) }, YEAR = { 2003 }, PUBLISHER = { Springer }, PAGES = { 51--65 }, SERIES = { Lecture Notes in Computer Science }, VOLUME = { 2860 }, MONTH = { October }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.