Yirng-An Chen

	2003
11		Yu-Chin Hsu, Bassam Tabbara, Yirng-An Chen, Fur-Shing Tsai: Advanced techniques for RTL debugging. DAC 2003: 362-367
	2001
10		Jiunn-Chern Chen, Yirng-An Chen: Equivalence checking of integer multipliers. ASP-DAC 2001: 169-174
9		Yirng-An Chen, Randal E. Bryant: An efficient graph representation for arithmetic circuitverification. IEEE Trans. on CAD of Integrated Circuits and Systems 20(12): 1443-1454 (2001)
8		Randal E. Bryant, Yirng-An Chen: Verification of arithmetic circuits using binary moment diagrams. STTT 3(2): 137-155 (2001)
	1998
7		Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron: Space- and Time-Efficient BDD Construction via Working Set Control. ASP-DAC 1998: 423-432
6		Yirng-An Chen, Randal E. Bryant: Verification of Floating-Point Adders. CAV 1998: 488-499
	1997
5		Yirng-An Chen, Randal E. Bryant: PHDD: an efficient graph representation for floating point circuit verification. ICCAD 1997: 2-7
	1996
4		Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao: Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. FMCAD 1996: 19-33
3		Yirng-An Chen, Randal E. Bryant: ACV: an arithmetic circuit verifier. ICCAD 1996: 361-365
	1995
2		Randal E. Bryant, Yirng-An Chen: Verification of Arithmetic Circuits with Binary Moment Diagrams. DAC 1995: 535-541
	1992
1		Yirng-An Chen, Youn-Long Lin, Long-Wen Chang: A Systolic Algorithm for the k-Nearest Neighbors Problem. IEEE Trans. Computers 41(1): 103-108 (1992)

Coauthor Index

1	Randal E. Bryant	[2] [3] [5] [6] [7] [8] [9]
2	Long-Wen Chang	[1]
3	Jiunn-Chern Chen	[10]
4	Edmund M. Clarke	[4]
5	Pei-Hsin Ho	[4]
6	Yatin Vasant Hoskote	[4]
7	Yu-Chin Hsu	[11]
8	Timothy Kam	[4]
9	Manpreet Khaira	[4]
10	Youn-Long Lin	[1]
11	David R. O'Hallaron	[7]
12	John W. O'Leary	[4]
13	Bassam Tabbara	[11]
14	Fur-Shing Tsai	[11]
15	Bwolen Yang	[7]
16	Xudong Zhao	[4]

Colors in the list of coauthors