Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Electronics Engineering / 電子工程學研究所
Inductive Equivalence Checking under Retiming and Resynthesis
Details
Inductive Equivalence Checking under Retiming and Resynthesis
Journal
IEEE/ACM Int'l Conf. on Computer-Aided Design (ICCAD'07)
Pages
326-333
Date Issued
2007-11
Author(s)
Jie-Hong R. Jiang
Wei-Lun Hung
JIE-HONG JIANG
DOI
10.1109/ICCAD.2007.4397285
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/334040
SDGs
[SDGs]SDG5
Type
conference paper
