CheckerCore: enhancing an FPGA soft core to capture worst-case execution times. - Jin Ouyang; Raghuveer Raghavendra; Sibin Mohan; Tao Zhang 032; Yuan Xie 001; Frank Mueller 001 (CASES, 2009)