A complete compositional reasoning framework for the efficient verification of pipelined machines (2005)

by P Manolios, S K Srinivasan
Venue:In International Conference on Computer-Aided Design (ICCAD’05