An aspect-oriented, model-driven approach to functional hardware verification.
Éamonn LinehanSiobhán ClarkePublished in: J. Syst. Archit. (2012)
Keyphrases
- aspect oriented
- object oriented
- functional verification
- software development
- hardware designs
- low cost
- crosscutting concerns
- development process
- hardware and software
- aspect oriented programming
- business applications
- computing power
- model checking
- real time
- computer systems
- hardware implementation
- hardware software
- image processing
- hardware design
- hardware architecture
- embedded systems
- massively parallel
- personal computer
- formal verification
- software product line
- open source
- query processing
- verification method
- cooperative
- real world