Keyphrases
- computer aided
- knowledge based systems
- real time
- low cost
- control unit
- memory management
- embedded systems
- hardware and software
- design tools
- formal methods
- hardware design
- functional verification
- hardware designs
- digital signal processing
- digital circuits
- single chip
- formal verification
- design principles
- power consumption
- model checking
- building blocks
- user interface