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

by P Manolios, S Srinivasan
Venue:In Proc. of the Int’l Conf. on Computer Aided Design