Suppose we have a memory model, i am looking at various checks that can be performed to verify the memory model.
1. single read and write
2. back to back reads and writes to same address/different addresses.
3. read followed by write to same address/different address.
4. verify boundary locations of memory using reads /writes
5. verify different data patterns, walking 1's, all 0's,, random data
What else can be done?
What will the methods/functions that can be present in a system verilog memory model BFM class? and how to implement them..
Please provide your inputs?