A novel simulation and verification approach in an ASIC design process | IEEE Journals & Magazine | IEEE Xplore