SCA verification tools & topics

What is this all about

This website provides formal verification solutions based on Symbolic Computer Algebra (SCA) for complex arithmetic circuits, such as for example multipliers.

In the menu on the right you can select information about our approaches for:

Alireza Mahzoon, University of Bremen, Germany
Daniel Große, JKU Linz, Austria & DFKI Bremen, Germany
Rolf Drechsler, University of Bremen & DFKI Bremen, Germany

Created by
Group of
Computer Architecture, University of Bremen
University of Bremen
Institute for
Complex Systems, JKU Linz
Johannes Kepler University Linz

supported by SyDe