Behavioral fault simulation and ATPG, system for VHDL | IEEE Conference Publication | IEEE Xplore