HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



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

Mohamed Nadeem, M.Sc.


Im Rahmen des Reinhart Koselleck Polyver-Projekts beschäftige ich mich mit der polynomialen formalen Verifizierung digitaler Schaltkreise. Mein Ansatz beinhaltet den Einsatz dynamischer Programmiertechniken in Verbindung mit der Antwortsatzprogrammierung, um eine Polynomzeit-Obergrenze für den Verifizierungsprozess zu erhalten.

WiMi

+49 421 218-63947

MZH 4250

mnadeem@uni-bremen.de

Polynomial Formal Verification of Approximate Adders with Constant Cutwidth
Autor: Mohamed Nadeem, Chandan Kumar Jha, Rolf Drechsler
Konferenz: IEEE European Test Symposium (ETS)
Pdf | Referenz: The Hague, Netherlands, 2024

Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures
Autor: Mohamed Nadeem, Rolf Drechsler
Konferenz: IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Pdf | Referenz: Brno, Czech Republic, 2024

Polynomial Formal Verification exploiting Constant Cutwidth
Autor: Mohamed Nadeem, Jan Kleinekathöfer, Rolf Drechsler
Workshop: International Workshop on Rapid System Prototyping (RSP)
Pdf | Referenz: Hamburg, Germany, 2023

Polynomial Formal Verification of Adder Circuits Using Answer Set Programming
Autor: Mohamed Nadeem, Jan Kleinekathöfer and Rolf Drechsler
Workshop: 2023 Reed-Muller Workshop (RM2023)
Pdf | Referenz: Matsue, Shimane, Japan, 2023

« zurück


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz