Concepedia

M. Crastes

MC

5

Publications

65

Citations

5

H-Index

1991

Active since

Affiliations

Institut National Polytechnique de Toulouse(Current)

M. Crastes is an author at Institut National Polytechnique de Toulouse specializing in computer engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringComputer ArchitectureFormal MethodsHardware SystemsComputer-aided DesignSystem-level DesignSystems EngineeringElectronic Design Automation

Publications per year

1991–2003

5

Publications

5

Input driven synthesis of PLDs and PGAs

B. Babba, M. Crastes, G. Saucier · 2003 · 16 citations

Logic Synthesis, Identical Subsets, Engineering +11

Automatic synthesis of Boolean functions on Xilinx and Actel programmable devices

P. Sicard, M. Crastes, K. Sakouti et al. · 1991 · 15 citations

Engineering, Boolean Function, Synthesis Methods +21

Synthesis on multiplexer-based FPGA using binary decision diagrams

T. Besson, H. Bouzouzou, M. Crastes et al. · 2003 · 12 citations

Logic Synthesis, Engineering, Synthesis Methods +15

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

Thierry Besson, H. Bouzouzou, M. Crastes et al. · 2003 · 11 citations

Robdd Construction, Logic Synthesis, Engineering +15

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

M. Crastes, K. Sakouti, G. Saucier · 1991 · 11 citations

Engineering, Industrial Engineering, Electronic Design Automation +18

Rows per page

1–5 of 5