A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines.

Panagiotis Manolios, Sudarshan K. Srinivasan

Browse the full MEMOCODE paper archive.