Inductive Equivalence Checking under Retiming and Resynthesis

Jie-Hong R. JiangWei-Lun HungJIE-HONG JIANG2018-09-102018-09-102007-11http://scholars.lib.ntu.edu.tw/handle/123456789/334040[SDGs]SDG5Inductive Equivalence Checking under Retiming and Resynthesisconference paper10.1109/ICCAD.2007.43972852-s2.0-50249101190