Concepedia

Yirng-An Chen

YC

Statistics

Publications

6

Citations

454

H-Index

6

Active since

1995

Affiliations

Carnegie Mellon University(Current)

National Yang Ming Chiao Tung University

Yirng-An Chen is an author at Carnegie Mellon University specializing in computer science, computer engineering, and computer architecture.

Publications per year

1995–2001

6

Publications

6

Verification of arithmetic circuits with binary moment diagrams

Randal E. Bryant, Yirng-An Chen · 1995 · 325 citations

Engineering, Computer Engineering, Computer Science +8

PHDD: an efficient graph representation for floating point circuit verification

Yirng-An Chen, Randal E. Bryant · Research Showcase @ Carnegie Mellon University (Carnegie Mellon University) · 1997 · 37 citations

Computing, Computer Engineering, Computer Science +17

ACV: an arithmetic circuit verifier

Yirng-An Chen, Randal E. Bryant · Research Showcase @ Carnegie Mellon University (Carnegie Mellon University) · 1996 · 32 citations

Engineering, Computer Engineering, Computer Science +16

Verification of arithmetic circuits using binary moment diagrams

Randal E. Bryant, Yirng-An Chen · International Journal on Software Tools for Technology Transfer · 2001 · 29 citations

Engineering, Computer Engineering, Computer Science +12

Equivalence checking of integer multipliers

Jiunn-Chern Chen, Yirng-An Chen · 2001 · 18 citations

Computing, Computer Engineering, Computer Science +14

1–5 of 6