Frédéric Rocheteau

According to our database, Frédéric Rocheteau authored at least 4 papers between 1991 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Functional Verification Methodology of Chameleon Processor.

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

Proceedings of the 33st Conference on Design Automation, 1996

1992

Extension du langage LUSTRE et application à la conception de circuits : le langage LUSTRE-V4 et le système POLLUX. (Extension of the lustre language and application to hardware design : the lustre-v4 language and the pollux system).

Frédéric Rocheteau

PhD thesis, 1992

1991

Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE.

Frédéric Rocheteau, Nicolas Halbwachs

Proceedings of the Real-Time: Theory in Practice, 1991

POLLUS: A LUSTRE based hardware design environment.

Frédéric Rocheteau, Nicolas Halbwachs

Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991