Jie-Hong Roland Jiang

Jie-Hong R. Jiang

	2012
34		Kuan-Hsien Ho, Xin-Wei Shih, Jie-Hong R. Jiang: Clock rescheduling for timing engineering change orders. ASP-DAC 2012: 517-522
33		Yi-Ting Chung, Jie-Hong Roland Jiang: Functional timing analysis made fast and general. DAC 2012: 1055-1060
	2011
32		Valeriy Balabanov, Jie-Hong R. Jiang: Resolution Proofs and Skolem Functions in QBF Evaluation and Applications. CAV 2011: 149-164
31		Hsiou-Yuan Liu, Yen-Cheng Chou, Chen-Hsuan Lin, Jie-Hong R. Jiang: Towards completely automatic decoder synthesis. ICCAD 2011: 389-395
30		Chia-Wei Chang, Hong-Zu Chou, Kai-Hui Chang, Jie-Hong Roland Jiang, Chien-Nan Jimmy Liu, Chiu-Han Hsiao, Sy-Yen Kuo: Constraint generation for software-based post-silicon bug masking with scalable resynthesis technique for constraint optimization. ISQED 2011: 174-181
29		Alan Mishchenko, Robert K. Brayton, Jie-Hong R. Jiang, Stephen Jang: Scalable don't-care-based logic optimization and resynthesis. TRETS 4(4): 34 (2011)
	2010
28		Kuan-Hsien Ho, Jie-Hong R. Jiang, Yao-Wen Chang: TRECO: dynamic technology remapping for timing engineering change orders. ASP-DAC 2010: 331-336
27		Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang: BooM: a decision procedure for boolean matching with abstraction and dynamic learning. DAC 2010: 499-504
26		Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang: Boolean matching of function vectors with strengthened learning. ICCAD 2010: 596-601
25		Bo-Han Wu, Chun-Ju Yang, Chung-Yang Huang, Jie-Hong Roland Jiang: A robust functional ECO engine by SAT proof minimization and interpolation techniques. ICCAD 2010: 729-734
24		Jie-Hong Roland Jiang, Chih-Chun Lee, Alan Mishchenko, Chung-Yang Huang: To SAT or Not to SAT: Scalable Exploration of Functional Dependency. IEEE Trans. Computers 59(4): 457-467 (2010)
	2009
23		Jie-Hong R. Jiang: Quantifier Elimination via Functional Composition. CAV 2009: 383-397
22		Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Stephen Jang: Scalable don't-care-based logic optimization and resynthesis. FPGA 2009: 151-160
21		Jie-Hong Roland Jiang, Hsuan-Po Lin, Wei-Lun Hung: Interpolating functions from large Boolean relations. ICCAD 2009: 779-784
	2008
20		Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung: Bi-decomposing large Boolean functions via interpolation and satisfiability solving. DAC 2008: 636-641
19		Hsuan-Po Lin, Jie-Hong Roland Jiang, Ruei-Rung Lee: To SAT or not to SAT: Ashenhurst decomposition in a large scale. ICCAD 2008: 32-37
18		Sz-Cheng Huang, Jie-Hong Roland Jiang: A dynamic accuracy-refinement approach to timing-driven technology mapping. ICCD 2008: 538-543
	2007
17		Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang Huang, Alan Mishchenko: Scalable exploration of functional dependency by interpolation and incremental SAT solving. ICCAD 2007: 227-233
16		Jie-Hong Roland Jiang, Wei-Lun Hung: Inductive equivalence checking under retiming and resynthesis. ICCAD 2007: 326-333
15		Chin-Hsiung Hsu, Szu-Jui Chou, Jie-Hong Roland Jiang, Yao-Wen Chang: A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits. PATMOS 2007: 148-159
14		Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko: Efficient Solution of Language Equations Using Partitioned Representations CoRR abs/0710.4743: (2007)
	2006
13		Jie-Hong Roland Jiang, Robert K. Brayton: Retiming and Resynthesis: A Complexity Perspective. IEEE Trans. on CAD of Integrated Circuits and Systems 25(12): 2674-2686 (2006)
	2005
12		Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko: Efficient Solution of Language Equations Using Partitioned Representations. DATE 2005: 418-423
11		Jie-Hong Roland Jiang: On Some Transformation Invariants Under Retiming and Resynthesis. TACAS 2005: 413-428
	2004
10		Jie-Hong Roland Jiang, Robert K. Brayton: Functional Dependency for Verification Reduction. CAV 2004: 268-280
9		Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton: On breakable cyclic definitions. ICCAD 2004: 411-418
	2003
8		Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton: Reducing Multi-Valued Algebraic Operations to Binary. DATE 2003: 10752-10757
7		Jie-Hong Roland Jiang, Robert K. Brayton: On the verification of sequential equivalence. IEEE Trans. on CAD of Integrated Circuits and Systems 22(6): 686-697 (2003)
	2002
6		Robert K. Brayton, M. Gao, Jie-Hong Roland Jiang, Yunjian Jiang, Yinghua Li, Alan Mishchenko, Subarnarekha Sinha, Tiziano Villa: Optimization of Multi-Valued Multi-Level Networks. ISMVL 2002: 168-
5		Jie-Hong Roland Jiang, Robert K. Brayton: On the Verification of Sequential Equivalence. IWLS 2002: 307-314
4		Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton: Reducing Multi-Valued Algebraic Operations to Binary. IWLS 2002: 339-344
	2001
3		Jie-Hong Roland Jiang, Jing-Yang Jou, Juinn-Dar Huang: Unified functional decomposition via encoding for FPGA technology mapping. IEEE Trans. VLSI Syst. 9(2): 251-260 (2001)
	1999
2		Jie-Hong Roland Jiang, Iris Hui-Ru Jiang: Optimum loading dispersion for high-speed tree-type decision circuitry. ICCAD 1999: 520-525
	1998
1		Jie-Hong Roland Jiang, Jing-Yang Jou, Juinn-Dar Huang: Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis. DAC 1998: 712-717

Coauthor Index

1	Valeriy Balabanov	[32]
2	Robert K. Brayton	[4] [5] [6] [7] [8] [9] [10] [12] [13] [14] [22] [29]
3	Chia-Wei Chang	[30]
4	Kai-Hui Chang	[30]
5	Yao-Wen Chang	[15] [28]
6	Hong-Zu Chou	[30]
7	Szu-Jui Chou	[15]
8	Yen-Cheng Chou	[31]
9	Yi-Ting Chung	[33]
10	M. Gao	[6]
11	Kuan-Hsien Ho	[28] [34]
12	Chiu-Han Hsiao	[30]
13	Chin-Hsiung Hsu	[15]
14	Chung-Yang Huang (Chung-Yang (Ric) Huang)	[17] [24] [25]
15	Juinn-Dar Huang	[1] [3]
16	Sz-Cheng Huang	[18]
17	Wei-Lun Hung	[16] [20] [21]
18	Stephen Jang	[22] [29]
19	Iris Hui-Ru Jiang	[2]
20	Yunjian Jiang	[6]
21	Jing-Yang Jou	[1] [3]
22	Sy-Yen Kuo	[30]
23	Chih-Fan Lai	[26] [27]
24	Chih-Chun Lee	[17] [24]
25	Ruei-Rung Lee	[19] [20]
26	Yinghua Li	[6]
27	Chen-Hsuan Lin	[31]
28	Hsuan-Po Lin	[19] [21]
29	Chien-Nan Jimmy Liu	[30]
30	Hsiou-Yuan Liu	[31]
31	Alan Mishchenko	[4] [6] [8] [9] [12] [14] [17] [22] [24] [29]
32	Xin-Wei Shih	[34]
33	Subarnarekha Sinha	[6]
34	Tiziano Villa	[6] [12] [14]
35	Kuo-Hua Wang	[26] [27]
36	Bo-Han Wu	[25]
37	Chun-Ju Yang	[25]
38	Nina Yevtushenko	[12] [14]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page