Verification of Embedded Memory Systems using Efficient Memory Modeling
Malay K. GanaiAarti GuptaPranav AsharPublished in: CoRR (2007)
Keyphrases
- learning algorithm
- computational complexity
- memory requirements
- limited memory
- computationally efficient
- embedded systems
- memory space
- memory usage
- management system
- intelligent systems
- distributed shared memory
- memory size
- computing power
- computer systems
- expert systems
- building blocks
- associative memory
- automated verification
- low memory
- complex systems
- formal methods
- databases
- neural network
- state information
- database systems
- knowledge based systems
- computational power
- modeling language
- lightweight
- cost effective