Keyphrases
- case study
- computer aided
- design process
- database
- formal methods
- optimal design
- design methodology
- functional verification
- vlsi architecture
- vlsi design
- asynchronous circuits
- formal verification
- design patterns
- conceptual model
- building blocks
- signal processing
- high speed
- user interface
- knowledge base
- information systems
- computer vision
- genetic algorithm
- machine learning