Sign in

Automated and Scalable Verification of Integer Multipliers.

Mertcan TemelAnna 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