Ouiza Dahmoune, Robert de B. Johnston. Applying Model-Checking to Post-Silicon-Verification: Bridging the Specification-Realisation Gap. In Viktor K. Prasanna, Jürgen Becker, René Cumplido, editors, ReConFig 10: 2010 International Conference on Reconfigurable Computing and FPGAs, Cancun, Quintana Roo, Mexico, 13-15 December 2010, Proceedings. pages 73-78, IEEE Computer Society, 2010. [doi]
@inproceedings{DahmouneJ10,
title = {Applying Model-Checking to Post-Silicon-Verification: Bridging the Specification-Realisation Gap},
author = {Ouiza Dahmoune and Robert de B. Johnston},
year = {2010},
doi = {10.1109/ReConFig.2010.66},
url = {http://dx.doi.org/10.1109/ReConFig.2010.66},
researchr = {https://researchr.org/publication/DahmouneJ10},
cites = {0},
citedby = {0},
pages = {73-78},
booktitle = {ReConFig 10: 2010 International Conference on Reconfigurable Computing and FPGAs, Cancun, Quintana Roo, Mexico, 13-15 December 2010, Proceedings},
editor = {Viktor K. Prasanna and Jürgen Becker and René Cumplido},
publisher = {IEEE Computer Society},
}