Travelled to:5 × USA
Collaborated with:∅ O.Guzey L.Wang J.R.Levitt F.Bacchini G.Moretti J.Bergeron M.Nakamura S.Mehta L.Ducousso D.L.Dill N.James S.Rawat G.Berry L.Fix R.K.Ranjan G.Stålmarck C.Widdoes A.Nahir A.Ziv R.Galivanche A.J.Hu M.Abramovici A.Camilleri B.Bentley V.Bertacco S.Kapoor
Talks about:verif (4) silicon (2) base (2) unsupervis (1) methodolog (1) industri (1) function (1) support (1) realiti (1) highway (1)
Person: Harry Foster
DBLP: Foster:Harry
Contributed to:
2010
2008200820052002Wrote 5 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-2008-Foster #industrial #verification
- Assertion-Based Verification: Industry Myths to Realities (HF), pp. 5–10.
- DAC-2008-GuzeyWLF #analysis #functional #testing
- Functional test selection based on unsupervised support vector analysis (OG, LCW, JRL, HF), pp. 262–267.
- DAC-2005-BacchiniMFBNMD #question #verification
- Is methodology the highway out of verification hell? (FB, GM, HF, JB, MN, SM, LD), pp. 521–522.
- DAC-2002-DillJRBFFRSW #verification
- Formal verification methods: getting around the brick wall (DLD, NJ, SR, GB, LF, HF, RKR, GS, CW), pp. 576–577.