×

Tracking array data contents across three-valued read and write operations

  • US 8,478,574 B2
  • Filed: 04/30/2010
  • Issued: 07/02/2013
  • Est. Priority Date: 04/30/2010
  • Status: Expired due to Fees
First Claim
Patent Images

1. A method, in a data processing system, for tracking array data contents across three-value read and write operations in a simulation of an integrated circuit design, the method comprising:

  • receiving, in the data processing system, an integrated circuit design having a memory array;

    initializing, by the data processing system, a tree data structure for the memory array having a root node assigning a default value to all data bits, wherein initializing the tree data structure for the memory array comprises creating the root node having a non-deterministic address having a non-deterministic value for all address bits, wherein the non-deterministic address represents a set of addresses, and a data value equal to a default value; and

    responsive to a write operation writing a write data value to a write address, updating, by the data processing system, the tree data structure to track memory array contents.

View all claims
  • 4 Assignments
Timeline View
Assignment View
    ×
    ×