Michel Crastes de Paulet

According to our database, Michel Crastes de Paulet authored at least 5 papers between 1985 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1993

Input-driven partitioning methods and application to synthesis on table-lookup-based FPGAs.

Pierre Abouzeid, Belgacem Babba, Michel Crastes de Paulet, Gabriele Saucier

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

1992

ASYL: A Control Driven RTL Synthesis System using Library Blocks.

Anne Mignotte, Marie-Claude Bertrand, Michel Crastes de Paulet, Jérôme Rampon, Gabriele Saucier

Proceedings of the Synthesis for Control Dominated Circuits, 1992

1989

Testability Expertise and Test Planning from High-Level Specifications.

Michel Crastes de Paulet, Margot Karam, Gabriele Saucier

Proceedings of the Proceedings International Test Conference 1989, 1989

1987

ASYL: A Rule-Based System for Controller Synthesis.

Gabriele Saucier, Michel Crastes de Paulet, Pascal Sicard

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987

1985

Spécification et simulation fonctionnelles de circuits complexes : le système CADOC. (Specification and functional simulation of complex circuits: the CADOC system).

Michel Crastes de Paulet

PhD thesis, 1985