HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Abraham Temesgen Tibebu, M.Sc.


Meine Forschungsinteressen liegen im Bereich Design Understanding, Modellprüfung, Verifikation und Synthesis von Hardware-Software-Systemen.

WiMi

Augmenting All Solution SAT Solving for Circuits with Structural Information
Autor: Abraham Temesgen Tibebu, Görschwin Fey
Konferenz: 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz: Budapest, Hungary, 2018

« zurück


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz