Login / Signup

Using BDDs to Verify Multipliers.

Jerry R. Burch
Published in: DAC (1991)
Keyphrases
  • heuristic search
  • verification method
  • timed automata
  • real world
  • upper bound
  • domain specific
  • binary decision diagrams