An accuration delay modeling technique for switch-level timing verification.
Seung Ho HwangYoung Hwan KimA. Richard NewtonPublished in: DAC (1986)
Keyphrases
- functional verification
- high speed
- databases
- neural network
- colored petri nets
- decision making
- packet switching
- real time
- asynchronous circuits
- modeling method
- model checking
- higher level
- multi agent systems
- multiscale
- three dimensional
- decision trees
- clustering algorithm
- computer vision
- information retrieval
- real world