Parity error detection verification
View Patent ↗A circuit design is simulated on a computing system. Simulating the circuit design includes selecting a first memory location in the circuit design in which to introduce a parity error according to the first memory location having a higher probability of being read than a second memory location of the circuit design. A parity error is inserted in the first memory location during simulation of the design.
1. A method of simulating a circuit design on a computing system comprising:
selecting a first memory location in a software representation of the circuit design in which to introduce a parity error according to the first memory location having a higher probability of being read than a second memory location of the circuit design;
inserting the parity error in the first memory location in the software representation; and
simulating on the computing system the software representation of the circuit design with the parity error inserted.
2. The method as recited in claim 1 wherein the simulating further comprises: simulating that the error detection logic of the circuit design determines that the first memory location is associated with the parity error.
3. The method as recited in claim 1 wherein the circuit design is represented in hardware description language (HDL).
4. The method as recited in claim 1 wherein the first memory location is in a first-in first-out (FIFO) buffer, and the first memory location is selected according to a head pointer of the FIFO buffer indicating the first memory location as next to be read from the FIFO buffer.
5. The method as recited in claim 4 wherein the FIFO buffer is an in-order FIFO buffer, the method further comprising introducing a parity error into a third memory location of the FIFO buffer, wherein the third memory location is adjacent to the first memory location.
6. The method as recited in claim 1 wherein the first memory location is part of an array of memory locations each associated with a corresponding valid bit, and wherein the first memory location is selected based on being one of the memory locations of the array indicated to be valid by the corresponding valid bit.
7. The method as recited in claim 6 wherein the second memory location is one of the memory locations of the array indicated to be invalid by another of the valid bits.
8. The method as recited in claim 1 wherein the first memory location is a register of a register file, and wherein the circuit design further includes a list indicating registers of the register file, the first memory location being selected based on not being indicated by the list.
9. The method as recited in claim 8 wherein the list indicates those registers of the register file that have not been written to or are obsolete and unused.
10. The method as recited in claim 8 wherein the second memory location is a register of the register file and is indicated by the list.
11. The method as recited in claim 1 wherein the first memory location is a register of a register file, the register associated with a corresponding architectural register.
12. A non-transitory computer-readable storage medium encoding instructions executable by a computing system to cause the computing system to:
determine that a first memory location of a circuit design is associated with a higher probability of being read than a second memory location of the circuit design; and
cause a parity error associated with the first memory location during simulation of the circuit design.
13. The non-transitory computer-readable storage medium as recited in claim 12 wherein the circuit design is represented in hardware description language (HDL).
14. The non-transitory computer-readable storage medium as recited in claim 12 wherein the circuit design includes error detection logic to perform a parity check on data associated with the first memory location.
15. The non-transitory computer-readable storage medium as recited in claim 12 wherein the circuit design includes a first-in first-out (FIFO) buffer that includes the first memory location, and wherein a head pointer of the FIFO buffer indicates the first memory location as next to be read from the FIFO buffer.
16. The non-transitory computer-readable storage medium as recited in claim 12 wherein the circuit design includes an array of memory locations each associated with a corresponding valid bit, and wherein the first memory location is one of the memory locations of the array indicated to be valid.
17. The non-transitory computer-readable storage medium as recited in claim 12 wherein the circuit design includes a register file, wherein the second memory location is a register of the register file, and wherein the circuit design further includes a list indicating registers of the register file that have not been written to or are obsolete and unused, the second memory location indicated by the list.
18. The non-transitory computer-readable storage medium as recited in claim 12 wherein the circuit design includes a register file including the first memory location, and wherein the first memory location is a physical register of the register file, the physical register associated with a corresponding architectural register.