Design verification process for bit spreading error resistant memory system
AssigneeBAE Systems Information and Electronic Systems Integration Inc.
InventorJeffrey E. Robertson
Life of this patent
Estimating the term…
Loading patent…
AssigneeBAE Systems Information and Electronic Systems Integration Inc.
InventorJeffrey E. Robertson
Estimating the term…
Techniques are provided for design verification of a bit spreading memory. A methodology implementing the techniques according to an embodiment includes using a bit spreading geometry file to convert a logical address of the memory to a physical address. The geometry file defines a scheme by which bits of a data word stored at the logical address are spread over multiple RAMs. The method also includes writing data bits of a test data word to the physical address, causing a design simulator to simulate a read from the logical address, and comparing the result to the test data word for verification. The method further includes causing the design simulator to simulate a write of the test data word to the logical address, reading data bits from the physical address, arranging the bits into a retrieved data word, and comparing the test data word to the retrieved data word for verification.
A computer program product including one or more non-transitory machine-readable mediums encoded with instructions that when executed by one or more processors cause a process to be carried out for verification of a design of a memory, the process comprising:
A method for verification of a design of a memory, the method comprising:
A method for verification of a design of a memory, the method comprising:
Dependencies are inferred from the claim text.