Results 1-2 of 2 (Search time: 0.014 seconds).

	Issue Date	Title	Author(s)	Source	scopus	WOS	Fulltext/Archive link
1	2007	Inductive Equivalence Checking under Retiming and Resynthesis	Jie-Hong R. Jiang; Wei-Lun Hung; JIE-HONG JIANG	IEEE/ACM Int'l Conf. on Computer-Aided Design (ICCAD'07)	11	0
2	2007	Scalable Exploration of Functional Dependency by Interpolation and Incremental SAT Solving	Chih-Chun Lee; Jie-Hong R. Jiang; Chung-Yang Huang; Alan Mishchenko; CHUNG-YANG HUANG ; JIE-HONG JIANG	IEEE/ACM Int'l Conf. on Computer-Aided Design (ICCAD'07)	49	0