Travelled to:1 × Canada
2 × USA
Collaborated with:R.E.Bryant Y.Hsu B.Tabbara F.Tsai
Talks about:verif (2) techniqu (1) arithmet (1) diagram (1) circuit (1) moment (1) binari (1) advanc (1) point (1) float (1)
Person: Yirng-An Chen
DBLP: Chen:Yirng=An
Contributed to:
2003
19981995Wrote 3 papers:
- DAC-2003-HsuTCT #debugging
- Advanced techniques for RTL debugging (YCH, BT, YAC, FST), pp. 362–367.
- CAV-1998-ChenB #float #verification
- Verification of Floating-Point Adders (YAC, REB), pp. 488–499.
- DAC-1995-BryantC #diagrams #verification
- Verification of Arithmetic Circuits with Binary Moment Diagrams (REB, YAC), pp. 535–541.