en fr Experiments in logic synthesis Expériences en synthèse logique Reportar como inadecuado




en fr Experiments in logic synthesis Expériences en synthèse logique - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 IMAG - Institut d-Informatique et de Mathématiques Appliquées de Grenoble

Résumé : Le problème de la synthèse automatique de circuits est aborde ici à travers trois experiences de réalisation de compilateurs. La première concerne la traduction de la spécification fonctionnelle d-un circuit décrit en Lascar langage de la famille cascade. Le deuxième compilateur utilise un formalisme de règles de réécriture pour produire un circuit adapte à une bibliothèque spécifique de Bull-systèmes, a partir d-une description en langage Lds. La troisième expérience aborde le problème de la synthèse de parties opératives, dont les principales difficultés sont présentées en détail. La méthode utilisée met en œuvre un algorithme de séquencement fonde sur un formalisme potentiel-tache, et une méthode de partage de registres et d-allocation d-opérateurs a partir d-un algorithme de coloriage de graphes

Mots-clés : CAO CAO de VLSI synthèse automatique de matériel compilation de silicium compilation compilateur





Autor: Yves Durand -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados