Method and system for generating an atpg model of a memory from behavioral descriptions
AssigneeSynopsys, Inc.
InventorsPeter Wohl, John A. Waicukauski, Timothy G. Hunkler
Life of this patent
Estimating the term…
Loading patent…
AssigneeSynopsys, Inc.
InventorsPeter Wohl, John A. Waicukauski, Timothy G. Hunkler
Estimating the term…
Abstract of the Disclosure 42Method and system for constructing a structural model of a memory for use in ATPG (Automatic Test Pattern Generation). Behavioral models of memories of simulation libraries are re-coded into simplified behavioral models using behavioral hardware description language (e.g., Verilog). Simplified behavioral models are automatically converted into structural models that include ATPG memory primitives. Structural models are stored for subsequent access during pattern generation. In another 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. Functional equivalence between simplified behavioral models and simulation models can be verified with the same behavioral hardware description language simulator (e.g., Verilog). Another advantage is complicated memories, such as CAMs, can be accurately modeled for ATPG.
A method of constructing a structural model for a memory for use in ATPG (Automatic Test Pattern Generation), said method comprising the steps of:
A method as recited in Claim 1 wherein said simplified behavioral model excludes timing information contained in said simulation model of said memory.
A method as recited in Claim 2 further wherein said simplified behavioral model excludes physical layout information contained in said simulation of said memory.
A method as recited in Claim 1 wherein said plurality of ATPG memory primitives each represents a functionality of said memory.
A method as recited in Claim 4 wherein said plurality of ATPG memory primitives comprises:
A method as recited in Claim 4 wherein said memory is a random access memory (RAM) and wherein said plurality of ATPG memory primitives comprises:
A method as recited in Claim 4 wherein said plurality of ATPG memory primitives comprises:
A method as recited in Claim 4 wherein said memory is a content addressable memory (CAM) and wherein said plurality of ATPG memory primitives comprises:
A method as recited in Claim 1 further comprising the step of verifying functional equivalence between said simplified behavioral model and said simulation model by applying both models to a behavioral hardware description language simulator.
A method as recited in Claim 1 wherein said behavioral hardware description language is Verilog.
A method as recited in Claim 1 wherein said behavioral hardware description language is VHDL.
A method as recited in Claim 1 further comprises the step of displaying a graphical representation of said primitives of said structural model of said memory and their interconnections on a display screen of said computer system.
A computer readable medium having computer-readable program code embodied therein for causing a computer system to perform a method of constructing a structural model for a memory for use in ATPG (Automatic Test Pattern Generation), said method comprising the steps of:
A computer readable medium as recited in Claim 13 wherein said simplified behavioral model excludes timing information contained in said simulation model of said memory.
A computer readable medium as recited in Claim 14 further wherein said simplified behavioral model excludes physical layout information of said memory.
A computer readable medium as recited in Claim 13 wherein said plurality of ATPG memory primitives each represents a functionality of said memory.
A computer readable medium as recited in Claim 16 wherein said plurality of ATPG memory primitives comprises:
A computer readable medium as recited in Claim 16 wherein said memory is a random access memory (RAM) and wherein said plurality of ATPG memory primitives comprises:
A computer readable medium as recited in Claim 16 wherein. said plurality of ATPG memory primitives comprises:
A computer readable medium as recited in Claim 16 wherein said memory is a content addressable memory (CAM) and wherein said plurality of ATPG memory primitives comprises:
A computer readable medium as recited in Claim 13 wherein said method further comprises the step of verifying functional equivalence between said simplified behavioral model and said simulation model by applying both models to a behavioral hardware description language simulator.
A computer readable medium as recited in Claim 13 wherein said behavioral hardware description language is Verilog.
A computer readable medium as recited in Claim 13 wherein said behavioral hardware description language is VHDL.
A computer readable medium as recited in Claim 13 further comprises the step of displaying a graphical representation of said primitives of said structural model of said memory and their interconnections on a display screen of said computer system.
A computer controlled electronic design automation system comprising:
An electronic design automation system as recited in Claim 25 wherein said simplified behavioral model excludes timing information of said memory.
An electronic design automation system as recited in Claim 26 further wherein said simplified behavioral model excludes physical layout information of said memory.
An electronic design automation system as recited in Claim 25 wherein said plurality of ATPG memory primitives each represents a functionality of said memory.
An electronic design automation system as recited in Claim 28 wherein said plurality of ATPG memory primitives comprises:
An electronic design automation system as recited in Claim 28 wherein said memory is a random access memory (RAM) and wherein said plurality of ATPG memory primitives comprises:
An electronic design automation system as recited in Claim 28 wherein said plurality of ATPG memory primitives comprises:
An electronic design automation system as recited in Claim 28 wherein said memory is a content addressable memory (CAM) and wherein said plurality of ATPG memory primitives comprises:
A electronic design automation system as recited in Claim 25 wherein said method further comprises the step of verifying functional equivalence between said simplified behavioral model and said simulation model by applying both models to a behavioral hardware description language simulator.
An electronic design automation system as recited in Claim 25 wherein said behavioral hardware description language is Verilog.
An electronic design automation system as recited in Claim 25 wherein said behavioral hardware description language is VHDL.
A electronic design automation system as recited in Claim 25 further comprises the step of displaying a graphical representation of said primitives of said structural model of said memory and their interconnections on said display device.