An approach to RTL fault extraction and test generation | IEEE Conference Publication | IEEE Xplore