Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation

@inproceedings{Velev1998EfficientMO,
  title={Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation},
  author={Miroslav N. Velev and Randal E. Bryant},
  booktitle={TACAS},
  year={1998}
}
This paper enables symbolic ternary simulation of systems with lar ge embedded memories. Each memory array is replaced with a beha vioral model, where the number of symbolic v ariables used to characterize the initial state of the memory is proportional to the number of distinct symbolic memory locations accessed. The behavioral model provides a conserv ative approximation of the replaced memory array, while allowing the address and control inputs of the memory to accept symbolic ternary values… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS
12 Citations
15 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

Similar Papers

Loading similar papers…