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