Travelled to:2 × USA
Collaborated with:D.Galpin T.Blackmore F.Casaubieilh A.McIsaac M.Benjamin F.Pogodalla F.Rocheteau M.Belhadj J.Eggleton G.Mas G.Barrett C.Berthet
Talks about:verif (2) test (2) methodolog (1) comparison (1) processor (1) chameleon (1) techniqu (1) properti (1) function (1) random (1)
Person: Mike Bartley
DBLP: Bartley:Mike
Contributed to:
20021996Wrote 2 papers:
- DAC-2002-BartleyGB #comparison #pseudo #random testing #testing #verification
- A comparison of three verification techniques: directed testing, pseudo-random testing and property checking (MB, DG, TB), pp. 819–823.
- DAC-1996-CasaubieilhMBBPRBEMBB #functional #verification
- Functional Verification Methodology of Chameleon Processor (FC, AM, MB, MB, FP, FR, MB, JE, GM, GB, CB), pp. 421–426.