dblp.uni-trier.dewww.uni-trier.de

Yirng-An Chen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
11EEYu-Chin Hsu, Bassam Tabbara, Yirng-An Chen, Fur-Shing Tsai: Advanced techniques for RTL debugging. DAC 2003: 362-367
2001
10EEJiunn-Chern Chen, Yirng-An Chen: Equivalence checking of integer multipliers. ASP-DAC 2001: 169-174
9EEYirng-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)
8EERandal 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
5EEYirng-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
3EEYirng-An Chen, Randal E. Bryant: ACV: an arithmetic circuit verifier. ICCAD 1996: 361-365
1995
2EERandal 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)