Synthèse logique

Synthèse logique

La synthèse logique est une étape qui consiste à compiler la description fonctionnelle d'un circuit à l'aide d'un outil de synthèse et d'une bibliothèque de cellules logiques. Cette description peut être écrite en langage Verilog ou VHDL et ne doit pas comporter d'éléments comportementaux non compréhensibles par l'outil de synthèse.

Les principaux fournisseurs d'outil de synthèse logique sont Synopsys, avec Design Compiler, et Cadence, avec BuildGate et RC.

Au cours de la synthèse, on effectue une compilation logique associée à des contraintes de temps définies dans la spécification d'un circuit logique numérique. Suivant les contraintes imposées à l'outil de synthèse, on obtiendra un résultat optimisé spécifiquement en surface ou en vitesse.

Logiciels

À l'heure actuelle, tous les logiciels de synthèse sont des produits propriétaires sauf Alliance du Laboratoire d'informatique de Paris 6 qui est en licence GPL.

  • Design Compiler de Synopsys : c'est le plus connu sur le marché.
  • BuildGates de Cadence
  • RC de Cadence
  • Leonardo de Mentor Graphics
  • Synplify
  • Alliance du lip6

Les fabricants de FPGA fournissent généralement aussi leur propre outil de synthèse. Ces outils propriétaires prennent en compte la spécificité de l'architecture du FPGA cible, et synthétisent uniquement pour les FPGAs de leur marque propre :


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Synthèse logique de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Synthese logique — Synthèse logique La synthèse logique est une étape qui consiste à compiler la description fonctionnelle d un circuit à l aide d un outil de synthèse et d une bibliothèque de cellules logiques. Cette description peut être écrite en langage Verilog …   Wikipédia en Français

  • Synthese — Synthèse Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Synthèse — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Synthèse », sur le Wiktionnaire (dictionnaire universel) La synthèse (du grec, sunthesis,… …   Wikipédia en Français

  • SYNTHÈSE CHIMIQUE ASSISTÉE PAR ORDINATEUR — Entre 1940 et 1985, la pharmacopée américaine s’est enrichie de cinq cents structures actives nouvelles; de nouveaux colorants, pesticides, fongicides, cosmétiques, parfums, etc., ont été découverts. D’autre part, l’extraction des molécules… …   Encyclopédie Universelle

  • Logique ou l'art de penser — Logique de Port Royal Pour les articles homonymes, voir Port Royal (homonymie). La Logique de Port Royal est le nom habituellement donné à l ouvrage d Antoine Arnauld et Pierre Nicole, intitulé La Logique ou l art de penser et publiée pour la… …   Wikipédia en Français

  • Logique Du Dialogue — La logique du dialogue (aussi connue comme logique dialogique et comme sémantique des jeux) est une approche des sémantiques de la logique fondée sur le concept de validité (logique dialogique) ou de vérité (sémantique des jeux) appartenant aux… …   Wikipédia en Français

  • Logique dialogique — Logique du dialogue La logique du dialogue (aussi connue comme logique dialogique et comme sémantique des jeux) est une approche des sémantiques de la logique fondée sur le concept de validité (logique dialogique) ou de vérité (sémantique des… …   Wikipédia en Français

  • Synthèse théâtrale — futuriste Au début de 1915, Marinetti, Corrà et Settimelli publient le manifeste Le Théâtre futuriste synthétique dans lequel ils préconisent la condensation extrême de l’action dramatique. Ils conçoivent ainsi une scène en liberté, où la logique …   Wikipédia en Français

  • Logique mathématique — La logique mathématique, ou logique formelle, est une discipline des mathématiques introduite à la fin du XIXe siècle et qui s est donnée comme objet l étude des mathématiques en tant que langage. Les objets fondamentaux de la logique… …   Wikipédia en Français

  • Logique aristotélicienne — Aristote Aristote (Ἀριστοτέλης) Philosophe occidental Philosophie antique Portrait d après un original en bronze de Lysippe …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”