臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

About TAIR
	About TAIR

Browse By
	Institution
	Author
	Title
	Date
	Statistics Chart
	Institution Facts
	Trend

News
	2019臺灣學術機構典藏研討會
	機構典藏系統RC7版本已發佈

Copyright
	Publisher & Journal Policy
	TAIR Copyright Conference Minutes

Related Links
	機構典藏計畫網站
	ROAR
	OpenDOAR
	SHERPA
	OAIster
	JAIRO
	Ira
	DSPACE
	RWWR
	臺大學術典藏NTU Scholars

"jie hong r jiang"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 111-135 of 141 (6 Page(s) Totally)
<< < 1 2 3 4 5 6 > >>
View [10|25|50] records per page

Institution	Date	Title	Author
臺大學術典藏	2018-09-10T08:19:13Z	Hardware Equivalence and Property Verification	Jie-Hong R. Jiang;Tiziano Villa; Jie-Hong R. Jiang; Tiziano Villa; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:19:13Z	Hardware Equivalence and Property Verification	Jie-Hong R. Jiang;Tiziano Villa; Jie-Hong R. Jiang; Tiziano Villa; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:18:33Z	To SAT or Not to SAT: Scalable Exploration of Functional Dependency	Jie-Hong R. Jiang;Chih-Chun Lee;Alan Mishchenko;Chung-Yang (Ric) Huang; Jie-Hong R. Jiang; Chih-Chun Lee; Alan Mishchenko; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:18:33Z	To SAT or Not to SAT: Scalable Exploration of Functional Dependency	Jie-Hong R. Jiang;Chih-Chun Lee;Alan Mishchenko;Chung-Yang (Ric) Huang; Jie-Hong R. Jiang; Chih-Chun Lee; Alan Mishchenko; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:11Z	Quantifier Elimination via Functional Composition	Jie-Hong R. Jiang; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:11Z	Quantifier Elimination via Functional Composition	Jie-Hong R. Jiang; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:11Z	Symmetrization in Digital Circuit Optimization	JIE-HONG JIANG; Nina Yevtushenko; Natalia Eliseeva;Jie-Hong R. Jiang;Natalia Kushik;Nina Yevtushenko; Natalia Eliseeva; Jie-Hong R. Jiang; Natalia Kushik
臺大學術典藏	2018-09-10T07:43:11Z	Symmetrization in Digital Circuit Optimization	JIE-HONG JIANG; Nina Yevtushenko; Natalia Eliseeva;Jie-Hong R. Jiang;Natalia Kushik;Nina Yevtushenko; Natalia Eliseeva; Jie-Hong R. Jiang; Natalia Kushik
臺大學術典藏	2018-09-10T07:43:11Z	Interpolating Functions from Large Boolean Relations	Jie-Hong R. Jiang;Hsuan-Po Lin;Wei-Lun Hung; Jie-Hong R. Jiang; Hsuan-Po Lin; Wei-Lun Hung; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:11Z	Interpolating Functions from Large Boolean Relations	Jie-Hong R. Jiang;Hsuan-Po Lin;Wei-Lun Hung; Jie-Hong R. Jiang; Hsuan-Po Lin; Wei-Lun Hung; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:11Z	Logic Synthesis in a Nutshell	Jie-Hong R. Jiang;Srinivas Devadas; Jie-Hong R. Jiang; Srinivas Devadas; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:11Z	Logic Synthesis in a Nutshell	Jie-Hong R. Jiang;Srinivas Devadas; Jie-Hong R. Jiang; Srinivas Devadas; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:10Z	Scalable Don't Care Based Logic Optimization and Resynthesis	Alan Mishchenko;Robert K. Brayton;Jie-Hong R. Jiang;Stephen Jang; Alan Mishchenko; Robert K. Brayton; Jie-Hong R. Jiang; Stephen Jang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:10Z	Scalable Don't Care Based Logic Optimization and Resynthesis	Alan Mishchenko;Robert K. Brayton;Jie-Hong R. Jiang;Stephen Jang; Alan Mishchenko; Robert K. Brayton; Jie-Hong R. Jiang; Stephen Jang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:09:38Z	A Dynamic Accuracy-Refinement Approach to Timing-Driven Technology Mapping	Sz-Cheng Huang; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:09:38Z	To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale	Hsuan-Po Lin;Jie-Hong R. Jiang;Ruei-Rung Lee; Hsuan-Po Lin; Jie-Hong R. Jiang; Ruei-Rung Lee; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:09:38Z	To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale	Hsuan-Po Lin;Jie-Hong R. Jiang;Ruei-Rung Lee; Hsuan-Po Lin; Jie-Hong R. Jiang; Ruei-Rung Lee; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:09:37Z	Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving	Ruei-Rung Lee; Jie-Hong R. Jiang; Wei-Lun Hung; JIE-HONG JIANG
臺大學術典藏	2018-09-10T06:37:58Z	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
臺大學術典藏	2018-09-10T06:37:58Z	Inductive Equivalence Checking under Retiming and Resynthesis	Jie-Hong R. Jiang; Wei-Lun Hung; JIE-HONG JIANG
臺大學術典藏	2018-09-10T06:37:58Z	Quantum Mechanical Search and Harmonic Perturbation	Jie-Hong R. Jiang; Dah-Wei Chiou; Cheng-En Wu; JIE-HONG JIANG
臺大學術典藏	2018-09-10T06:37:57Z	Quantum Mechanical Search and Harmonic Perturbation	Jie-Hong R. Jiang; Dah-Wei Chiou; Cheng-En Wu; JIE-HONG JIANG
臺大學術典藏	2018-09-10T06:37:57Z	A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits	Chin-Hsiung Hsu; Szu-Jui Chou; Jie-Hong R. Jiang; Yao-Wen Chang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T06:03:22Z	Retiming and Resynthesis: A Complexity Perspective	Jie-Hong R. Jiang; Robert K. Brayton; JIE-HONG JIANG
臺大學術典藏	2018-09-10T05:29:29Z	On Some Transformation Invariants under Retiming and Resynthesis	Jie-Hong R. Jiang; JIE-HONG JIANG

Showing items 111-135 of 141 (6 Page(s) Totally)
<< < 1 2 3 4 5 6 > >>
View [10|25|50] records per page

	English \| 正體中文 \| 简体中文 \| Total items :0
	Visitors : 51528050 Online Users : 824 Project Commissioned by the Ministry of Education Project Executed by National Taiwan University Library