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: Bentley:Bob
Contributed to:
2010
200520042001Wrote 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.