CPC G11C 29/38 (2013.01) [G06F 11/2221 (2013.01); G06F 11/3037 (2013.01); G06F 11/3409 (2013.01); G11C 29/1201 (2013.01); G11C 29/44 (2013.01); G11C 2029/0409 (2013.01)] | 20 Claims |
14. A method of verifying operation of an instantiation of a hardware unit for storing data defined by a hardware design, the method comprising:
verifying operation of the instantiation of the hardware unit, using a formal verification tool, by verifying a formal assertion that establishes that when a read of a symbolic address of the instantiation of the hardware unit occurs after one or more writes to the symbolic address, read data corresponding to the read of the symbolic address matches write data corresponding to the one or more writes to the symbolic address, wherein the symbolic address is a variable that represents each possible address value of the instantiation of the hardware unit which causes the formal verification tool to assess each of the possible address values.
|