Sign in

Symbolic Timing Verification of Timing Diagrams using Presburger Formulas.

Tod AmonGaetano BorrielloTaokuan HuJiwen Liu
Published in: DAC (1997)
Keyphrases
  • asynchronous circuits
  • model checking
  • neural network
  • database
  • data sets
  • databases
  • information systems
  • high level