Method and system for generating an ATPG model of a memory from behavioral descriptions
AssigneeSynopsys, Inc.
InventorsPeter Wohl, John Waicukauski, Timothy G. Hunkler
Life of this patent
Estimating the term…
Loading patent…
AssigneeSynopsys, Inc.
InventorsPeter Wohl, John Waicukauski, Timothy G. Hunkler
Estimating the term…
A method and system for constructing a structural model of a memory for use in ATPG (Automatic Test Pattern Generation). According to an embodiment of the present invention, behavioral models of memories of the simulation libraries are re-coded into simplified behavioral models using behavioral hardware description language (e.g., Verilog). Then, the simplified behavioral models are automatically converted into structural models that include ATPG memory primitives. The structural models are then stored for subsequent access during pattern generation. In one embodiment, for modeling random access memories (RAMs), the ATPG memory primitives include memory primitives, data bus primitives, address bus primitives, read-port primitives and macro output primitives. In another embodiment, for modeling content addressable memories (CAMs), the ATPG memory primitives include memory primitives, compare port primitives and macro output primitives. An advantage of the present invention is that functional equivalence between the simplified behavioral models and the simulation models can be easily verified with the same behavioral hardware description language simulator (e.g., Verilog simulator). Another advantage of the present invention is that very complicated memories, such as CAMs, can be accurately modeled for ATPG.
A memory model usable for computer simulation and automatic test pattern generation, the memory model comprising:
A content addressable memory model usable for computer simulation and automatic test pattern generation, the content addressable memory model comprising:
A combined content addressable memory (CAM) and random access memory (RAM) model usable for computer simulation and automatic test pattern generation, the combined CAM and RAM model comprising:
Dependencies are inferred from the claim text.