A novel assertions-based code coverage automatic CAD tool | IEEE Conference Publication | IEEE Xplore