Automatic Verification of Pipelined Microprocessor Control,” (1994)

by J R Burch, D L Dill
Venue:in Conference on Computer-Aided Verification, Lecture Notes in Computer Science,