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 × United Kingdom
3 × USA
Collaborated with:
F.Bacchini R.F.Damiano K.Baty K.Normoyle M.Ishii E.Yogev A.Nahir A.Ziv R.Galivanche A.J.Hu M.Abramovici A.Camilleri H.Foster V.Bertacco S.Kapoor
Talks about:
valid (3) microprocessor (2) silicon (2) verif (2) what (2) pentium (1) modern (1) intel (1) doesn (1) bridg (1)

Person: Bob Bentley

DBLP DBLP: Bentley:Bob

Contributed to:

DAC 20102010
CAV 20052005
DAC 20042004
DAC 20012001

Wrote 4 papers:

DAC-2010-NahirZGHACBFBK #validation #verification
Bridging pre-silicon verification and post-silicon validation (AN, AZ, RG, AJH, MA, AC, BB, HF, VB, SK), pp. 94–95.
CAV-2005-Bentley #validation
Validating a Modern Microprocessor (BB), pp. 2–4.
DAC-2004-BacchiniDBBNIY #named #verification #what
Verification: what works and what doesn’t (FB, RFD, BB, KB, KN, MI, EY), p. 274.
DAC-2001-Bentley #validation
Validating the Intel Pentium 4 Microprocessor (BB), pp. 244–248.

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.