Logikfehlersuche in der Mikroprozessor-Entwicklung - Armin Biere
Автор: Video Kanal
Загружено: 2024-07-30
Просмотров: 232
An der Universität Freiburg werden sogenannte SAT-Solver entwickelt. Mit ihrer Hilfe kann beim Design von Computerchips die Fehlerhäufigkeit drastisch reduziert werden.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: