Login / Signup

IODINE: a tool to automatically infer dynamic invariants for hardware designs.

Sudheendra HangalNaveen ChandraSridhar NarayananSandeep Chakravorty
Published in: DAC (2005)
Keyphrases
  • automatically infer
  • hardware designs
  • data sets
  • dynamic environments
  • database
  • neural network
  • information systems
  • computational complexity
  • search space
  • user friendly