Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs.
Kiyoharu HamaguchiHidekazu UrushiharaToshinobu KashiwabaraPublished in: FMCAD (2000)
Keyphrases
- high level
- consistency checking
- low level
- intermediate level
- higher level
- frequency domain
- signal processing
- high frequency
- data sets
- lower level
- non stationary
- low level features
- original signal
- model checking
- semantic information
- image processing
- programming language
- constraint networks
- symbolic representation
- state transition
- design principles
- temporal reasoning
- computer vision
- verification method
- genetic algorithm