A Coverage-Driven Constraint Random-Based Functional Verification Method of Memory Controller.
Yingpan WuLixin YuLidong LanHaiyang ZhouPublished in: IEEE International Workshop on Rapid System Prototyping (2008)
Keyphrases
- verification method
- temporal logic
- model checking
- control system
- real time
- memory size
- data driven
- memory requirements
- optimal control
- neural network
- computational power
- control algorithm
- control method
- main memory
- test suite
- memory usage
- memory space
- working memory
- controller design
- adaptive control
- computing power
- physical constraints
- data structure
- knowledge base