Sacha Loitz, Markus Wedler, Dominik Stoffel, Christian Brehm, Norbert Wehn, Wolfgang Kunz. Complete Verification of Weakly Programmable IPs against Their Operational ISA Model. In Adam Morawiec, Jinnie Hinderscheit, editors, Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK. pages 29-36, ECSI, Electronic Chips & Systems design Initiative, 2010.
Abstract is missing.