Achieving Last-Mile Functional Coverage in Testing Chip Design Software Implementations | IEEE Conference Publication | IEEE Xplore