Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur

Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen

Reinhart Koselleck-Projekt

DFG funds Reinhart Koselleck's PolyVer project for provably fast verifiable electronic circuits

Contact: Prof. Dr. Rolf Drechsler

In the PolyVer project funded by the German Research Foundation (DFG), methods are investigated that enable circuits and systems to be verified quickly. Polynomial bounds are guaranteed for the automatic proof process. The approaches are tested on practically relevant circuits from industry.

« back

©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy