Project

General

Profile

Overview

Erste Ansätze zur Verifikation von Multiplizierern, die (rekursiv) aus kleineren Multiplizierern zusammengesetzt werden.

ESE Bachelorprojekt von Ronja Nübling und Lara Heinzmann.

Members

Manager: Aile Ge-Ernst, Alexander Konrad, Christoph Scholl, Tobias Seufert, abs-intern

Developer: Ronja Nübling