Travelled to:2 × USA
Collaborated with:M.Benjamin D.Geist A.Hartman R.Smeets Y.Wolfsthal F.Casaubieilh A.McIsaac M.Bartley F.Pogodalla F.Rocheteau M.Belhadj J.Eggleton G.Barrett C.Berthet
Talks about:methodolog (1) processor (1) chameleon (1) function (1) generat (1) coverag (1) driven (1) verif (1) studi (1) test (1)
Person: Gérard Mas
DBLP: Mas:G=eacute=rard
Contributed to:
19991996Wrote 2 papers:
- DAC-1999-BenjaminGHMSW #case study #generative #testing
- A Study in Coverage-Driven Test Generation (MB, DG, AH, GM, RS, YW), pp. 970–975.
- 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.