Testing VLSI circuits from VHDL descriptions | IEEE Conference Publication | IEEE Xplore