Towards Formal Verification of Optimized and Industrial Multipliers.

Alireza Mahzoon Daniel Große Christoph Scholl Rolf Drechsler

Published in: DATE (2020)

Keyphrases

formal verification
model checking
model checker
industrial applications
bounded model checking
automated verification
symbolic model checking
temporal logic
neural network
state space
program slicing
domain specific
technology transfer