Sign in

Efficient verification of multi-property designs (The benefit of wrong assumptions).

Eugene GoldbergMatthias GüdemannDaniel KroeningRajdeep Mukherjee
Published in: DATE (2018)
Keyphrases
  • computationally expensive
  • case study
  • desirable properties
  • machine learning
  • data structure
  • multiresolution
  • cost effective
  • simplifying assumptions