Abstract FR:

Le travail présenté dans ce document porte sur la réalisation de trois logiciels dans le domaine de la conception assistée par ordinateur de circuits intégrés. L'éditeur graphique généralisé permettant la conception de circuits imprimés, de circuits integrés numériques et de circuits intégrés analogiques. Un vérificateur de garde autorisant la vérification de schémas constitués de segments à angle quelconque. Un extracteur de schémas permettant une extraction fine en vue d'une simulation précise des chemins critiques. Cet ensemble de logiciels, construit autour d'une base de données unique, et une optimisation des algorithmes et structures de données permet de porter nos produits sur des équipements de type micro-ordinateurs