Login / Signup

Sound and Automated Verification of Real-World RTL Multipliers.

Mertcan TemelWarren A. Hunt
Published in: FMCAD (2021)
Keyphrases
  • automated verification
  • real world
  • model checking
  • automated reasoning
  • data sets
  • formal verification
  • wide range
  • synthetic data
  • case study
  • real life
  • e learning
  • temporal logic
  • graph theory