M. Crastes

Automatic synthesis on table lookup-based PGAs

B. Babba, M. Crastes, 1992, Proceedings Euro ASIC '92.

Input driven synthesis of PLDs and PGAs

B. Babba, M. Crastes, G. Saucier, 1992, [1992] Proceedings The European Conference on Design Automation.

Interactive register transfer level synthesis using library blocks

Anne Mignotte, M. Crastes, Marie-Claude Bertrand, 1992, Proceedings Euro ASIC '92.

Synthesis on multiplexer-based FPGA using binary decision diagrams

Gabriele Saucier, M. Crastes, T. Besson, 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

Automatic synthesis of Boolean functions on Xilinx and Actel programmable devices

M. Crastes, G. Saucier, P. Sicard, 1991, Euro ASIC '91.

Synthesis on multiplexer-based programmable devices using (ordered) binary decision diagrams

M. Crastes, T. Besson, H. Bouzouzou, 1992, Proceedings Euro ASIC '92.

A technology mapping method based on perfect and semi-perfect matchings

Gabriele Saucier, M. Crastes, K. Sakouti, 1991, 28th ACM/IEEE Design Automation Conference.

Coherent optimization strategies for multilevel synthesis

M. Crastes, G. Saucier, P. Abouzeid, 1993, 1993 European Conference on Design Automation with the European Event in ASIC Design.