Mastodawn

Universität Freiburg Aug 7, 2024

Auf Logikfehlersuche in der #Mikroprozessor-Entwicklung: Prof. Dr. Armin Biere von der Professur für #Computerarchitektur entwickelt preisgekröntes Fehlersuchsystem #KISSAT.

Mehr dazu im Video: https://ufr.link/kissat-biere

Logikfehlersuche in der Mikroprozessor-Entwicklung - Armin Biere - deutsch untertitelt - Medien - Videoportal Universität Freiburg

Fehlersuche in Hardware-Entwürfen elektronischer Bauteile mittels SAT-Solvern