An Efficient Test Design for Verification of Cache Coherence in CMPs.
Mamata DaluiBiplab K. SikdarPublished in: DASC (2011)
Keyphrases
- design process
- functional verification
- user interface
- engineering design
- software testing
- bayesian networks
- building blocks
- user experience
- test cases
- hardware software co design
- formal verification
- shared memory
- design decisions
- computer aided
- software architecture
- data sets
- similarity measure
- decision making
- information systems
- information retrieval
- machine learning