Abstract FR:

AMICAL est un système pour la synthèse architecturale des circuits dominés par le contrôle. Il commence par la spécification d'une machine d'état finis comportementale où l'ordonnancement et l'allocation des registres sont faits. Il génère une spécification architecturale abstraite (composée d'une partie opérative et un contrôleur) qui peut alimenter les compilateurs de silicium existants au niveau logique et au niveau transferts de registres. AMICAL est composé de cinq fonctions principales qui permettent la synthèse automatique, interactive et manuelle, ainsi que la synthèse mixte. Ces fonctions sont le synthétiseur, l'éditeur graphique le vérificateur, l'évaluateur et le documentaliste. La synthèse automatique est exécutée par les nouveaux algorithmes qui exécutent l'allocation des unités fonctionnelles, sauvegardées dans la bibliothèque externe et extensible par le concepteur, et l'allocation des interconnexions. AMICAL permet aussi au concepteur d'intervenir tout au long du processus de synthèse et de modifier interactivement les décisions des algorithmes via l'éditeur graphique réalisé à cet effet. Les modifications du concepteur sont évaluées et vérifiées afin de s'assurer qu'aucune règle de conception n'est violée, et que les contraintes sont satisfaites. Enfin le documentaliste produit au concepteur l'état d'avancement et les rapports du processus de synthèse