Yirng-An Chen

12 papers A* 3A 2B 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2003 A* conf
Advanced techniques for RTL debugging.
DAC
Yu-Chin Hsu, Bassam Tabbara, Yirng-An Chen, Fur-Shing Tsai
2003 — conf
Algorithms for compacting error traces.
ASP-DAC
Yirng-An Chen, Fang-Sung Chen
2001 J jnl
An efficient graph representation for arithmetic circuitverification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yirng-An Chen, Randal E. Bryant
2001 — conf
Equivalence checking of integer multipliers.
ASP-DAC
Jiunn-Chern Chen, Yirng-An Chen
2001 J jnl
Verification of arithmetic circuits using binary moment diagrams.
Int. J. Softw. Tools Technol. Transf.
Randal E. Bryant, Yirng-An Chen
1998 — conf
Space- and Time-Efficient BDD Construction via Working Set Control.
ASP-DAC
Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron
1998 A* conf
Verification of Floating-Point Adders.
CAV
Yirng-An Chen, Randal E. Bryant
1997 A conf
PHDD: an efficient graph representation for floating point circuit verification.
ICCAD
Yirng-An Chen, Randal E. Bryant
1996 A conf
ACV: an arithmetic circuit verifier.
ICCAD
Yirng-An Chen, Randal E. Bryant
1996 B conf
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking.
FMCAD
Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao
1995 A* conf
Verification of Arithmetic Circuits with Binary Moment Diagrams.
DAC
Randal E. Bryant, Yirng-An Chen
1992 J jnl
A Systolic Algorithm for the k-Nearest Neighbors Problem.
IEEE Trans. Computers
Yirng-An Chen, Youn-Long Lin, Long-Wen Chang