Automated ISA branch coverage analysis and test case generation for retargetable instruction set simulators.