Login / Signup

Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits.

Tarvo RaudvereAshish Kumar SinghIngo SanderAxel Jantsch
Published in: DATE (2004)
Keyphrases
  • asynchronous circuits
  • logic circuits
  • genetic algorithm
  • delay insensitive
  • real time
  • data sets
  • databases
  • learning algorithm
  • decision trees
  • multiscale
  • uniform distribution
  • formal methods
  • bounded model checking