Processor design tools integrate in their workflows generators for instruction set simulators (ISS) from architecture descriptions. However, it is difficult to validate the correctness of these simulators. isa coverag...
详细信息
ISBN:
(纸本)9781450330503
Processor design tools integrate in their workflows generators for instruction set simulators (ISS) from architecture descriptions. However, it is difficult to validate the correctness of these simulators. isacoverageanalysis is insufficient to isolate modelling faults, which might only be exposed in corner cases. We present a novel isa branch coverage analysis, which considers every possible execution path within an instruction and, on demand, generates new test cases to cover the missing paths. We have applied this analysis to industry standard EEMBC and SPEC CPU2006 benchmarks and show that for an ARM V5T model neither of these benchmark suites provides a sufficient isacoverage to exercise every path through each instruction of the whole instruction set.
暂无评论