Verification of executable pipelined machines with bit-level interfaces.

Panagiotis Manolios, Sudarshan K. Srinivasan

Browse the full ICCAD paper archive.