Correctness of pipelined machines. (2000)

by P Manolios
Venue:Formal Methods in Computer-Aided Design–FMCAD 2000, volume 1954 of LNCS,