Yirng-An Chen

According to our database, Yirng-An Chen authored at least 12 papers between 1992 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2003

Advanced techniques for RTL debugging.

Yu-Chin Hsu, Bassam Tabbara, Yirng-An Chen, Fur-Shing Tsai

Proceedings of the 40th Design Automation Conference, 2003

Algorithms for compacting error traces.

Yirng-An Chen, Fang-Sung Chen

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

2001

An efficient graph representation for arithmetic circuitverification.

Yirng-An Chen, Randal E. Bryant

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001

Verification of arithmetic circuits using binary moment diagrams.

Randal E. Bryant, Yirng-An Chen

Int. J. Softw. Tools Technol. Transf., 2001

Equivalence checking of integer multipliers.

Jiunn-Chern Chen, Yirng-An Chen

Proceedings of ASP-DAC 2001, 2001

1998

Verification of Floating-Point Adders.

Yirng-An Chen, Randal E. Bryant

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

Space- and Time-Efficient BDD Construction via Working Set Control.

Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron

Proceedings of the ASP-DAC '98, 1998

1997

PHDD: an efficient graph representation for floating point circuit verification.

Yirng-An Chen, Randal E. Bryant

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1996

ACV: an arithmetic circuit verifier.

Yirng-An Chen, Randal E. Bryant

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking.

Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

Verification of Arithmetic Circuits with Binary Moment Diagrams.

Randal E. Bryant, Yirng-An Chen

Proceedings of the 32st Conference on Design Automation, 1995

1992

A Systolic Algorithm for the k-Nearest Neighbors Problem.

Yirng-An Chen, Youn-Long Lin, Long-Wen Chang

IEEE Trans. Computers, 1992