Symbolic Timing Verification of Timing Diagrams using Presburger Formulas.

Tod Amon Gaetano Borriello Taokuan Hu Jiwen Liu

Published in: DAC (1997)

Keyphrases

asynchronous circuits
model checking
neural network
database
data sets
databases
information systems
high level