This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Yirng-An Chen

A grouping.

Yirng-An Chen, CMU: word-level verification of arithmetic circuits with Bryant - binary moment diagrams (1994), *PBHD for floating point (1997), and the verification of all circuits in an Intel floating-point unit (1996).

*PBHD: An Efficient Graph Representation for Floating Point Circuit Verification

Yirng-An Chen and others (1997) · Carnegie Mellon University, Department of Computer Science

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

Yirng-An Chen and others (1996) · Formal Methods in Computer-Aided Design (FMCAD '96)

Verification of Arithmetic Functions with Binary Moment Diagrams

Randal E. Bryant and others (1994) · Carnegie Mellon University, Department of Computer Science

Yirng-An Chen

3 references