Full memory logical erase for circuit verification
A hardware model of a memory comprises: first circuitry configured to supply a memory status value for the memory which is changed upon a full-memory erase operation; second circuitry configured to supply a sector status value for each memory sector of the memory which is changed to a value equal to the memory status value when a write operation is performed on the each memory sector of the memory; and third circuitry configured to supply, when a read operation is performed on a memory sector of the memory, a value stored in the memory sector as output of the read operation if the sector status value for the memory sector is equal to the memory status value or a predefined value as the output of the read operation in other situations.
1. A system, comprising:
a reconfigurable hardware modeling device programmed to implement a hardware model of a circuit design, the hardware model of the circuit design comprising:
a hardware model of a memory, comprising:
first circuitry configured to supply a memory status value for the memory, the first circuitry changing the memory status value when a full-memory erase operation is performed on the memory;
second circuitry configured to supply a sector status value for each memory sector of the memory, the second circuitry changing the sector status value for a particular memory sector of the memory to a value equal to the memory status value when a write operation is performed on the particular memory sector of the memory; and
third circuitry configured to supply, when a read operation is performed on a specific memory sector of the memory, a value stored in the specific memory sector as output of the read operation if the sector status value for the specific memory sector is equal to the memory status value or a predefined value as the output of the read operation in other situations.
2. The system recited in claim 1 , wherein the third circuitry comprises fourth circuitry, the fourth circuitry configured to supply a sector tag value, the sector tag value for a particular memory sector of the memory being equal to a second predefined value in a read operation when the sector status value for the particular memory sector is equal to the memory status value or a third predefined value when the sector status value for the particular memory sector is not equal to the memory status value.
3. The system recited in claim 1 , wherein the first circuitry changes the memory status value by increasing the memory status value by one when a full-memory erase operation is performed on the memory.
4. The system recited in claim 1 , wherein the reconfigurable hardware modeling device is a hardware emulator or an FPGA-based prototyping device.
5. The system recited in claim 1 , wherein the hardware model of the circuit design further comprises:
a hardware model of a processor, the hardware model of a processor conducting various memory operations on the hardware model of the memory.
6. The system recited in claim 1 , wherein the memory is a flash memory.
7. One or more non-transitory computer-readable media storing computer-executable instructions for causing one or more processors to generate bitstreams for programming a reconfigurable hardware modeling device to implement circuitry hardware models, the circuitry hardware models comprising:
a hardware model of a circuit design, comprising:
a hardware model of a memory, comprising:
first circuitry configured to supply a memory status value for the memory, the first circuitry changing the memory status value when a full-memory erase operation is performed on the memory;
second circuitry configured to supply a sector status value for each memory sector of the memory, the second circuitry changing the sector status value for a particular memory sector of the memory to a value equal to the memory status value when a write operation is performed on the particular memory sector of the memory; and
third circuitry configured to supply, when a read operation is performed on a specific memory sector of the memory, a value stored in the specific memory sector as output of the read operation if the sector status value for the specific memory sector is equal to the memory status value or a predefined value as the output of the read operation in other situations.
8. The one or more non-transitory computer-readable media recited in claim 7 , wherein the third circuitry comprises fourth circuitry, the fourth circuitry configured to supply a sector tag value, the sector tag value for a particular memory sector of the memory being equal to a second predefined value in a read operation when the sector status value for the particular memory sector is equal to the memory status value or a third predefined value when the sector status value for the particular memory sector is not equal to the memory status value.
9. The one or more non-transitory computer-readable media recited in claim 7 , wherein the first circuitry changes the memory status value by increasing the memory status value by one when a full-memory erase operation is performed on the memory.
10. The one or more non-transitory computer-readable media recited in claim 7 , wherein the reconfigurable hardware modeling device is a hardware emulator or an FPGA-based prototyping device.
11. The one or more non-transitory computer-readable media recited in claim 7 , wherein the hardware model of the circuit design further comprises:
a hardware model of a processor, the hardware model of a processor conducting various memory operations on the hardware model of the memory.
12. The one or more non-transitory computer-readable media recited in claim 7 , wherein the memory is a flash memory.