Inductive equivalence checking under retiming and resynthesis.

Jie-Hong Roland Jiang, Wei-Lun Hung

Browse the full ICCAD paper archive.