Reusable and Scalable Verification Environment for Memory Controllers.

Kiran Kumar Abburi Siva Subrahmanya Evani Sajeev Thomas Anup Aprem

Published in: VDAT (2012)

Keyphrases

real time
limited memory
mobile robot
database
neural network
control system
software engineering
lightweight
model checking
computing power
genetic algorithm
object oriented
highly scalable
memory space
past experience
low memory