Synergy of synthesis and test (logic design) | IEEE Conference Publication | IEEE Xplore