Bei der physikalischen Verifikation von Chip-Layouts (Design Rule Check, DRCdesign rule checkDRC prüft, ob ein Layout die vorgegebenen Fertigungsregeln einhält.) treten insbesondere in fortgeschrittenen Prozessknoten häufig lokale Regelverletzungen auf, deren manuelle Behebung durch Layout-Ingenieure zeitaufwendig ist. Ein Team der Purdue University hat mit DRCdesign rule checkDRC prüft, ob ein Layout die vorgegebenen Fertigungsregeln einhält.-Aid ein geschlossenes, agentenbasiertes System entwickelt, das diese Reparaturen automatisiert durchführt und dabei die geometrische und elektrische Äquivalenz des ursprünglichen Layouts sicherstellt.
Der Ansatz kombiniert einen deterministischen Rule Engine, der die von Verifikationstools gemeldeten Fehler in eine begrenzte, handhabbare Suchmenge geometrischer Korrekturoptionen übersetzt, mit einem inferenzbasierten Large Language Model, das im Sinne einer Verification-in-the-Loop-Suche plausible Reparaturvorschläge generiert und bewertet. Durch dieses Zusammenspiel wird der kombinatorisch sehr große Lösungsraum für lokale DRCdesign rule checkDRC prüft, ob ein Layout die vorgegebenen Fertigungsregeln einhält.-Fehler auf praktikable Weise eingeschränkt, ohne auf starre, regelbasierte Heuristiken allein angewiesen zu sein.
Bedeutung für den Layout-Entwurf
Automatisierte DRCdesign rule checkDRC prüft, ob ein Layout die vorgegebenen Fertigungsregeln einhält.-Reparatur ist ein wiederkehrendes Problem im Physical-Design-Flow, das bislang meist iterative manuelle Eingriffe oder spezialisierte, oft starre Skriptlösungen erfordert. Die Verbindung aus deterministischer Regel-Vorverarbeitung und generativer KIArtificial IntelligenceKI bezeichnet Verfahren, die Aufgaben durch datengetriebene Modelle automatisieren.-Inferenz zielt darauf ab, sowohl Zuverlässigkeit als auch Flexibilität zu erhöhen, ein Aspekt, der angesichts wachsender Regelkomplexität in modernen Prozessen zunehmend an Bedeutung gewinnt.
Die Arbeit reiht sich in eine wachsende Zahl von Forschungsprojekten ein, die agentenbasierte KIArtificial IntelligenceKI bezeichnet Verfahren, die Aufgaben durch datengetriebene Modelle automatisieren.-Methoden für klassische EDA1. electronic design automationSoftwarewerkzeuge zur Entwicklung, Simulation, Verifikation und Layout-Erstellung elektronischer Schaltungen.2. equipment data acquisitionSystem beziehungsweise Verfahren zum Erfassen, Speichern, Austauschen oder Auswerten von Daten.-Aufgaben nutzbar machen wollen. Ob und wie schnell solche Ansätze Eingang in kommerzielle Design-Tools finden, bleibt abzuwarten, doch sie zeigen exemplarisch, wie Inference-Time-LLM1. local linear models2. Large Language ModelLLM bezeichnet ein großes Sprachmodell für generative KI-Anwendungen.s mit domänenspezifischen Constraints kombiniert werden können, um technisch anspruchsvolle Verifikationsaufgaben zu automatisieren.