On ESL verification of memory consistency for system-on-chip multiprocessing.
Eberle A. RamboOlav P. HenschelLuiz C. V. dos SantosPublished in: DATE (2012)
Keyphrases
- language learning
- model checking
- power consumption
- hardware and software
- memory usage
- statistically significant
- computer assisted language learning
- maintaining consistency
- verification method
- main memory
- memory space
- formal verification
- embedded systems
- memory requirements
- design methodology
- global constraints
- consistency checking
- learning process
- path consistency
- hardware software partitioning
- english language
- random access
- face verification
- constraint networks
- computational power
- blended learning