Deriving accurate ASIC cell fault models for VITAL compliant VHDL simulation | IEEE Conference Publication | IEEE Xplore