sca-verification.org

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
Daniel Große, University of Bremen and DFKI
Rolf Drechsler, University of Bremen and DFKI

Created by
Group of
Computer Architecture, University of Bremen
University of Bremen

supported by SyDe

Datenschutz