Sign in

Path Predicate Abstraction for Sound System-Level Models of RT-Level Circuit Designs.

Joakim UrdahlDominik StoffelWolfgang Kunz
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2014)
Keyphrases
  • higher level
  • real time
  • knowledge base
  • database systems
  • prior knowledge
  • maximum likelihood
  • complex systems
  • experimental data
  • statistical models
  • levels of abstraction
  • abstraction levels