Yirng-An Chen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2003

Algorithms for compacting error tracesYirng-An Chen, Fang-Sung Chen. aspdac 2003: 99-103 [doi]

Advanced techniques for RTL debuggingYu-Chin Hsu, Bassam Tabbara, Yirng-An Chen, Fur-Shing Tsai. dac 2003: 362-367 [doi]

2001

Verification of arithmetic circuits using binary moment diagramsRandal E. Bryant, Yirng-An Chen. STTT, 3(2):137-155, 2001. [doi]

Equivalence checking of integer multipliersJiunn-Chern Chen, Yirng-An Chen. aspdac 2001: 169-174 [doi]

An efficient graph representation for arithmetic circuitverificationYirng-An Chen, Randal E. Bryant. tcad, 20(12):1443-1454, 2001. [doi]

1998

Verification of Floating-Point AddersYirng-An Chen, Randal E. Bryant. cav 1998: 488-499

Space- and Time-Efficient BDD Construction via Working Set ControlBwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O Hallaron. aspdac 1998: 423-432

1997

PHDD: an efficient graph representation for floating point circuit verificationYirng-An Chen, Randal E. Bryant. iccad 1997: 2-7 [doi]

1996

ACV: an arithmetic circuit verifierYirng-An Chen, Randal E. Bryant. iccad 1996: 361-365 [doi]

Verification of All Circuits in a Floating-Point Unit Using Word-Level Model CheckingYirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O Leary, Xudong Zhao. FMCAD 1996: 19-33

1995

Verification of Arithmetic Circuits with Binary Moment DiagramsRandal E. Bryant, Yirng-An Chen. dac 1995: 535-541 [doi]

1992

A Systolic Algorithm for the k-Nearest Neighbors ProblemYirng-An Chen, Youn-Long Lin, Long-Wen Chang. TC, 41(1):103-108, 1992.

Sign in or sign up to see more results.

runs on WebDSL