Christian Hochberger Alexander Weiss A new methodology for debugging and validation of soft cores. 551-554 2008 FPL http://dx.doi.org/10.1109/FPL.2008.4630006 conf/fpl/2008 db/conf/fpl/fpl2008.html#HochbergerW08