Notre projet : Aniah est un logiciel contrôleur de circuit formel ERC qui analyse instantanément la base de données de conception des circuits intégrés et décèle en temps réel les erreurs structurelles ainsi que les violations. Ce logiciel vient comble…