dblp.uni-trier.dewww.uni-trier.de

Christian Berthet

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
6EEChristian Berthet: Going mobile: the next horizon for multi-million gate designs in the semi-conductor industry. DAC 2002: 375-378
1996
5EEFranç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
3EEOlivier 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)

Coauthor Index

1Geoff Barrett [5]
2Mike Bartley [5]
3Mohamed Belhadj [5]
4Mike Benjamin [5]
5Françoise Casaubieilh [5]
6Eduard Cerny [1]
7Olivier Coudert [2] [3] [4]
8Jeremy Eggleton [5]
9Jean Christophe Madre [2] [3] [4]
10Gérard Mas [5]
11Anthony McIsaac [5]
12François Pogodalla [5]
13Frédéric Rocheteau [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)