Automatic Veri of Pipelined Microprocessor Control (1994)

by Jerry R Burch, David L Dill
Venue:Conference on Computer-Aided Veri