Simulation strategy after model checking: experience in industrial SOC design | IEEE Conference Publication | IEEE Xplore