A parameterized benchmark suite of hard pipelined-machine-verification problems (2005)

by Panagiotis Manolios, Sudarshan K Srinivasan
Venue:In Proceedings of 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods