Neues Modell verbessert Design von Logikschaltungen mit And-Inverter Graphen
Die Automatisierung des Logikschaltungsdesigns steigert Chipleistung, Energieeffizienz und Zuverlässigkeit. In der Elektronik-Design-Automation (EDA) werden And‑Inverter Graphen (AIGs) häufig eingesetzt, weil sie digitale Schaltungen kompakt darstellen, optimieren und verifizieren können.