Fault Diagnosis using Functional Fault Models for VHDL descriptions | IEEE Conference Publication | IEEE Xplore