Login / Signup

Leveraging sequential equivalence checking to enable system-level to RTL flows.

Pascal UrardAsma MaalejRoberto GuizzettiNitin Chawla
Published in: DAC (2008)
Keyphrases
  • neural network
  • higher level
  • real time
  • databases
  • genetic algorithm
  • reinforcement learning
  • relational databases
  • multiresolution
  • lower level
  • levels of abstraction