BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zhou:Zheng

Contributed to:

DATE 20072007
DAC 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.