Travelled to:1 × France
1 × USA
Collaborated with:W.Burleson Y.Feng D.Tong X.Cheng
Talks about:datapath (1) arithmet (1) express (1) equival (1) coverag (1) metric (1) domain (1) design (1) valid (1) model (1)
Person: Zheng Zhou
DBLP: Zhou:Zheng
Contributed to:
2007
1995Wrote 2 papers:
- DATE-2007-FengZTC #design #fault #metric #validation
- Clock domain crossing fault model and coverage metric for validation of SoC design (YF, ZZ, DT, XC), pp. 1385–1390.
- DAC-1995-ZhouB #canonical #equivalence
- Equivalence Checking of Datapaths Based on Canonical Arithmetic Expressions (ZZ, WB), pp. 546–551.