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]
Abstract is missing.