Improving ATPG Gate-Level Fault Coverage by using Test Vectors generated from Behavioral HDL Descriptions | IEEE Conference Publication | IEEE Xplore