The application of program verification techniques to hardware verificationJohn A. Darringer1988DAC 1988