Automated equivalence checking of switch level circuits .

Simon Jolly, Atanas N. Parashkevov, Tim McDougall

Browse the full DAC paper archive.