Login / Signup

Verification of arithmetic datapaths using polynomial function models and congruence solving.

Neal TewPriyank KallaNamrata ShekharSivaram Gopalakrishnan
Published in: ICCAD (2008)
Keyphrases
  • probabilistic model
  • experimental data
  • model checking
  • knowledge base
  • evolutionary algorithm
  • parameter estimation
  • real time
  • genetic algorithm
  • information systems
  • probability distribution
  • statistical models