Fast detection of node mergers using logic implications.

Yung-Chih Chen, Chun-Yao Wang

Browse the full ICCAD paper archive.