Verification of Embedded Memory Systems using Efficient Memory Modeling

Malay K. Ganai, Aarti Gupta, Pranav Ashar

We describe verification techniques for embedded memory systems using efficient memory modeling (EMM), without explicitly modeling each memory bit. We extend our previously propose…