Compositional verification of retiming and sequential optimizations.
In-Ho MoonPublished in: DAC (2008)
Keyphrases
- sequential search
- face verification
- model checking
- asynchronous circuits
- knowledge base
- database
- multimedia
- optimization strategies
- formal verification
- signature verification
- formal analysis
- three dimensional
- decision making
- feature selection
- artificial intelligence
- genetic algorithm
- real world
- neural network
- real time