 | 2002 |
|---|
| 6 |       | Christian Berthet:
Going mobile: the next horizon for multi-million gate designs in the semi-conductor industry.
DAC 2002: 375-378 |
| 1996 |
|---|
| 5 | | Françoise Casaubieilh,
Anthony McIsaac,
Mike Benjamin,
Mike Bartley,
François Pogodalla,
Frédéric Rocheteau,
Mohamed Belhadj,
Jeremy Eggleton,
Gérard Mas,
Geoff Barrett,
Christian Berthet:
Functional Verification Methodology of Chameleon Processor.
DAC 1996: 421-426 |
| 1990 |
|---|
| 4 | | Olivier Coudert,
Jean Christophe Madre,
Christian Berthet:
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams.
CAV 1990: 23-32 |
| 3 | | Olivier Coudert,
Christian Berthet,
Jean Christophe Madre:
Formal boolean manipulations for the verification of sequential machines.
EURO-DAC 1990: 57-61 |
| 1989 |
|---|
| 2 | | Olivier Coudert,
Christian Berthet,
Jean Christophe Madre:
Verification of Synchronous Sequential Machines Based on Symbolic Execution.
Automatic Verification Methods for Finite State Systems 1989: 365-373 |
| 1988 |
|---|
| 1 |  | Christian Berthet,
Eduard Cerny:
An Algebraic Model for Asynchronous Circuits Verification.
IEEE Trans. Computers 37(7): 835-847 (1988) |
