Automated veri of pipelined microprocessor control (1994)

by J R Burch, D L Dill
Venue:Computer-Aided Veri (CAV '94), LNCS 818