Automated and Scalable Verification of Integer Multipliers.

Mertcan Temel Anna Slobodová Warren A. Hunt

Published in: CAV (1) (2020)

Keyphrases

fully automated
semi automated
model checking
automated analysis
formal verification
database
decision variables
genetic algorithm
fully automatic
asynchronous circuits