Towards a C++-based design methodology facilitating sequential equivalence checking.

Philippe Georgelin, Venkat Krishnaswamy

Browse the full DAC paper archive.