Keyphrases
- vlsi circuits
- coarse to fine
- hierarchically organized
- model checking
- layout design
- information retrieval
- databases
- hierarchical clustering
- low power
- formal verification
- real time
- artificial intelligence
- concurrent systems
- real world
- verification method
- asynchronous circuits
- database
- petri net
- low cost
- evolutionary algorithm
- object recognition
- computer vision