Formal verification of integer multipliers by combining Gröbner basis with logic reduction.
Amr A. R. Sayed-AhmedDaniel GroßeUlrich KühneMathias SoekenRolf DrechslerPublished in: DATE (2016)
Keyphrases
- functional verification
- formal verification
- model checker
- bounded model checking
- model checking
- numerically stable
- automated verification
- symbolic model checking
- linear temporal logic
- temporal logic
- mathematical theory
- polynomial equations
- logic programming
- classical logic
- modal logic
- decision variables
- automated reasoning