Verification of executable pipelined machines with bit-level interfaces (2005)

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