A unified approach to simulation and timing verification at the functional level.
Vighneswara Row MokkaralaAntony FanRavi AptePublished in: DAC (1985)
Keyphrases
- asynchronous circuits
- higher level
- functional verification
- levels of abstraction
- simulation model
- model checking
- simulation environment
- formal analysis
- databases
- real time
- probabilistic model
- artificial neural networks
- complex systems
- mathematical model
- database
- numerical simulations
- temporal logic
- search algorithm
- video sequences
- artificial intelligence
- simulation models
- signature verification