CheckerCore: enhancing an FPGA soft core to capture worst-case execution times.

Jin Ouyang Raghuveer Raghavendra Sibin Mohan Tao Zhang Yuan Xie Frank Mueller CheckerCore: enhancing an FPGA soft core to capture worst-case execution times. 175-184 2009 CASES http://doi.acm.org/10.1145/1629395.1629421 conf/cases/2009 db/conf/cases/cases2009.html#OuyangRMZXM09