Christian Berthet - researchr alias

researchr

You are not signed in
Sign in
Sign up

2002

Going mobile: the next horizon for multi-million gate designs in the semi-conductor industryChristian Berthet. dac 2002: 375-378 [doi]

1996

Functional Verification Methodology of Chameleon ProcessorFranç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. dac 1996: 421-426 [doi]

1990

Formal boolean manipulations for the verification of sequential machinesOlivier Coudert, Christian Berthet, Jean Christophe Madre. eurodac 1990: 57-61 [doi]

Verifying Temporal Properties of Sequential Machines Without Building their State DiagramsOlivier Coudert, Jean Christophe Madre, Christian Berthet. cav 1991: 23-32

1989

Verification of Synchronous Sequential Machines Based on Symbolic ExecutionOlivier Coudert, Christian Berthet, Jean Christophe Madre. avmfss 1990: 365-373

1988

An Algebraic Model for Asynchronous Circuits VerificationChristian Berthet, Eduard Cerny. TC, 37(7):835-847, 1988.