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.