Behavioral fault modeling and simulation of phase-locked loops using a VHDL-A like language | IEEE Conference Publication | IEEE Xplore