From RTL Liveness Assertions to Cost-Effective Hardware Checkers.
Ranganathan HariharanTara GhasempouriBehrad NiazmandJaan RaikPublished in: DCIS (2018)
Keyphrases
- cost effective
- low cost
- hardware and software
- hardware description language
- cost effectiveness
- real time
- data acquisition
- knowledge base
- hardware implementation
- computing systems
- computing power
- massively parallel
- embedded systems
- information and communication technologies
- game playing
- hardware design
- computer systems
- image processing
- e learning
- mobile devices
- hardware architecture
- parallel hardware