Travelled to:3 × USA
Collaborated with:∅ O.Coudert J.C.Madre F.Casaubieilh A.McIsaac M.Benjamin M.Bartley F.Pogodalla F.Rocheteau M.Belhadj J.Eggleton G.Mas G.Barrett
Talks about:methodolog (1) processor (1) conductor (1) chameleon (1) sequenti (1) properti (1) industri (1) function (1) without (1) million (1)
Person: Christian Berthet
DBLP: Berthet:Christian
Contributed to:
20021996
1990Wrote 3 papers:
- DAC-2002-Berthet #design #industrial #mobile #multi
- Going mobile: the next horizon for multi-million gate designs in the semi-conductor industry (CB), pp. 375–378.
- 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.
- CAV-1990-CoudertMB #diagrams #verification
- Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams (OC, JCM, CB), pp. 23–32.