Search the dblp DataBase
Yirng-An Chen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Jiunn-Chern Chen, Yirng-An Chen
Equivalence checking of integer multipliers. [Citation Graph (0, 0)][DBLP]
ASP-DAC, 2001, pp:169-174 [Conf] - Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron
Space- and Time-Efficient BDD Construction via Working Set Control. [Citation Graph (0, 0)][DBLP]
ASP-DAC, 1998, pp:423-432 [Conf] - Yirng-An Chen, Randal E. Bryant
Verification of Floating-Point Adders. [Citation Graph (0, 0)][DBLP]
CAV, 1998, pp:488-499 [Conf] - Randal E. Bryant, Yirng-An Chen
Verification of Arithmetic Circuits with Binary Moment Diagrams. [Citation Graph (0, 0)][DBLP]
DAC, 1995, pp:535-541 [Conf] - Yu-Chin Hsu, Bassam Tabbara, Yirng-An Chen, Fur-Shing Tsai
Advanced techniques for RTL debugging. [Citation Graph (0, 0)][DBLP]
DAC, 2003, pp:362-367 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
FMCAD, 1996, pp:19-33 [Conf] - Yirng-An Chen, Randal E. Bryant
ACV: an arithmetic circuit verifier. [Citation Graph (0, 0)][DBLP]
ICCAD, 1996, pp:361-365 [Conf] - Yirng-An Chen, Randal E. Bryant
PHDD: an efficient graph representation for floating point circuit verification. [Citation Graph (0, 0)][DBLP]
ICCAD, 1997, pp:2-7 [Conf] - Randal E. Bryant, Yirng-An Chen
Verification of arithmetic circuits using binary moment diagrams. [Citation Graph (0, 0)][DBLP]
STTT, 2001, v:3, n:2, pp:137-155 [Journal] - Yirng-An Chen, Youn-Long Lin, Long-Wen Chang
A Systolic Algorithm for the k-Nearest Neighbors Problem. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Computers, 1992, v:41, n:1, pp:103-108 [Journal] - Yirng-An Chen, Randal E. Bryant
An efficient graph representation for arithmetic circuitverification. [Citation Graph (0, 0)][DBLP]
IEEE Trans. on CAD of Integrated Circuits and Systems, 2001, v:20, n:12, pp:1443-1454 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002