Yirng-An Chen

Publication Activity (10 Years)

Years Active: 1992-2003
Publications (10 Years): 0

Publications

Yirng-An Chen, Fang-Sung Chen
Algorithms for compacting error traces. ASP-DAC (2003)
Yu-Chin Hsu, Bassam Tabbara, Yirng-An Chen, Fur-Shing Tsai
Advanced techniques for RTL debugging. DAC (2003)
Jiunn-Chern Chen, Yirng-An Chen
Equivalence checking of integer multipliers. ASP-DAC (2001)
Randal E. Bryant, Yirng-An Chen
Verification of arithmetic circuits using binary moment diagrams. Int. J. Softw. Tools Technol. Transf. 3 (2) (2001)
Yirng-An Chen, Randal E. Bryant
An efficient graph representation for arithmetic circuitverification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20 (12) (2001)
Yirng-An Chen, Randal E. Bryant
Verification of Floating-Point Adders. CAV (1998)
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)
Yirng-An Chen, Randal E. Bryant
PHDD: an efficient graph representation for floating point circuit verification. ICCAD (1997)
Yirng-An Chen, Randal E. Bryant
ACV: an arithmetic circuit verifier. ICCAD (1996)
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)
Randal E. Bryant, Yirng-An Chen
Verification of Arithmetic Circuits with Binary Moment Diagrams. DAC (1995)
Yirng-An Chen, Youn-Long Lin, Long-Wen Chang
A Systolic Algorithm for the k-Nearest Neighbors Problem. IEEE Trans. Computers 41 (1) (1992)