JP2011022694A - Program, device and method for supporting verification - Google Patents

Abstract

<P>PROBLEM TO BE SOLVED: To achieve high-accuracy verification taking account of power supply noise in actual use environment. <P>SOLUTION: A verification support device 100 executes simulation of a PKG that is a verification target in device verification environment 110 (step S101). The verification support device 100 simultaneously obtains characteristic information when operating the PKG in the actual use environment 120 by use of the actual use environment 120 (step S102). Thereafter, the verification support device 100 applies correction to an operation result obtained by the simulation in the step 101 by use of the characteristic information obtained in the step S102 to create a simulation result corresponding to the actual use environment 120 (step S103). <P>COPYRIGHT: (C)2011,JPO&INPIT

Description

  The present disclosure relates to a verification support program, a verification support apparatus, and a verification support method that enable performance verification in consideration of power supply noise.

  Conventionally, in a circuit manufacturing process, a verification process for verifying whether a designed circuit satisfies a specification required by a designer is indispensable as a process before starting actual manufacturing. If a semiconductor integrated circuit designed to realize a predetermined function does not satisfy a predetermined standard as a result of characteristic evaluation with an actual device, it takes a lot of cost and time to change the design. Therefore, particularly in recent years, a predetermined function cannot be realized unless verification is performed in consideration of not only the chip but also the package (hereinafter referred to as “PKG”) and the PCB wiring in the design stage. Therefore, there is a need for verification support technology that enables more accurate verification in the verification process.

  FIG. 9 is a flowchart showing the procedure of a conventional verification support process. As shown in FIG. 9, in the conventional verification support processing, first, PKG wiring design to be verified is performed (step S901). Thereafter, LCR (L: electromagnetic induction value, C: capacitance value, R: resistance value) in the PKG is extracted from the wiring information of the PKG (step S902), and a simulation is executed to verify the operation of the PKG. (Step S903).

  Thereafter, it is determined whether or not the simulation operation result in step S903 satisfies the specifications required by the designer (step S904). If the required specifications are not satisfied (step S904: No), the process returns to step S901 to reexamine the PKG wiring. If the determination in step S904 is OK (step S904: Yes), the series of verification support processing is terminated assuming that the specifications required by the PKG are satisfied.

  In the PKG simulation, an ideal environment is used in which the core power supply (VDD = 1.8V) and the I / O power supply VDDQ (VDD = 1.8V) are divided inside the chip, and noise propagation is prevented in both. . Also in the memory evaluation board, separate power sources are assigned to VDD and VDDQ (that is, 2 channels at 1.8 V) to completely separate the power sources (see, for example, Patent Document 1 below).

JP 2001-151546 A

  However, according to the conventional technique, data relating to the operation of the verification target circuit is collected in an ideal power supply environment that does not consider the generation of power supply noise as described above. When the device is operated in an actual use environment, power supply noise that does not occur in an ideal power supply environment is generated according to the wiring between the device and the power supply, resulting in an error in operating characteristics. Therefore, when designing based on the specifications required for the device and the device specifications of the operation result by simulation, there is a possibility that the operation margin may be reduced or a defective part may be generated due to deterioration of characteristics due to power supply noise. there were.

  Therefore, desirably, when verifying the circuit to be verified, it is desired to reproduce the power supply environment suitable for the actual use environment and acquire the characteristic information. However, the actual usage environment is diverse and unpredictable. Even if it can be predicted, in order to reproduce the plurality of actual use environments, it is necessary to prepare a plurality of tester configurations and evaluation boards, and there is a problem that it takes a lot of time to construct a power supply environment.

  An object of the present disclosure is to provide a verification support program, a verification support apparatus, and a verification support method that realize high-accuracy verification in consideration of power supply noise in an actual usage environment in order to solve the above-described problems caused by the conventional technology. And

  In order to solve the above-described problems and achieve the object, the disclosed technology obtains an LCR generated in the power source in the verification target circuit from the design information of the verification target circuit in a computer that controls the simulation of the verification target circuit. Processing for specifying operation characteristics due to power supply noise acquired from a database in which operation characteristics according to LCR generated in the verification target circuit are stored, and operations obtained by simulation of the verification target circuit It is a requirement to include a process of correcting the result according to the specified operation characteristic and a process of outputting the corrected operation result.

  According to the verification support program, the verification support apparatus, and the verification support method, there is an effect that it is possible to realize highly accurate verification in consideration of power supply noise in an actual use environment.

It is explanatory drawing which shows an example of the verification assistance process concerning this Embodiment. It is a block diagram which shows the hardware constitutions of a verification assistance apparatus. It is a block diagram which shows the functional structure of a verification assistance apparatus. It is a flowchart which shows the procedure of a verification assistance process. It is explanatory drawing which shows the procedure of a correction process. It is a data table which shows the example of storage of STA specification DB. It is explanatory drawing which shows the example of an actual use environment. It is explanatory drawing which shows the structural example of a characteristic information acquisition system. It is a data table which shows the example of a storage of a difference characteristic. It is a flowchart which shows the procedure of the conventional verification assistance process.

  Exemplary embodiments of a verification support program, a verification support apparatus, and a verification support method according to the present invention will be explained below in detail with reference to the accompanying drawings.

(Example of embodiment)
FIG. 1 is an explanatory diagram illustrating an example of a verification support process according to the present embodiment. As shown in FIG. 1, in the present embodiment, high accuracy is obtained by using information obtained in an ideal environment in which power supply noise does not occur using the verification support apparatus 100, that is, the device verification environment 110 and the actual use environment 120. Support device verification.

  Specifically, first, in the device verification environment 110, a simulation of a device to be verified is executed as in the conventional verification support process (step S101). The simulation is performed based on the device characteristics acquired in the ideal environment. The device verification environment 110 is configured to suppress the generation of noise as much as possible and to completely separate the core power supply (VDD, VSS) and the I / O power supply (VDDQ, VSSQ) to prevent deterioration of characteristics due to noise generation. .

  On the other hand, the verification support apparatus 100 uses the actual use environment 120 to acquire characteristic information when the device is operated in the actual use environment 120 (step S102). The actual use environment 120 has a uniform configuration for each PKG. Therefore, the core power supply (VDD, VSS) and the I / O power supply (VDDQ, VSSQ) are not necessarily supplied from different systems. In some cases, power may be supplied from the same system, and noise may be transmitted to each other. Also, the LCR of the power supply line is not uniform depending on the PKG.

  Therefore, the verification support apparatus 100 creates an operation result corresponding to the actual use environment 120 using the operation result obtained in step S101 and the characteristic information obtained in step S102 (step S103). Specifically, in step S103, the operation result in the device verification environment 110 is corrected according to the characteristic information in the actual use environment 120.

  If the function of the device is verified using the operation result created in step S103, even if a power supply noise occurs in the actual use environment 120 and an error occurs in the operation characteristics, verification in advance of the error is performed. Is possible. Therefore, the device verification environment 110 operates correctly with the required specifications, but the actual use environment 120 can prevent the problem that it does not operate with the required specifications.

  Next, a specific configuration for realizing the verification support process described above will be described.

(Hardware configuration of verification support device)
FIG. 2 is a block diagram of a hardware configuration of the verification support apparatus according to the embodiment. In FIG. 2, a verification support apparatus 100 includes a CPU (Central Processing Unit) 201, a ROM (Read-Only Memory) 202, a RAM (Random Access Memory) 203, a magnetic disk drive 204, a magnetic disk 205, and an optical disk. A drive 206, an optical disk 207, a display 208, an I / F (Interface) 209, a keyboard 210, a mouse 211, a scanner 212, and a printer 213 are provided. Each component is connected by a bus 200.

  Here, the CPU 201 governs overall control of the verification support apparatus 100. The ROM 202 stores various programs such as a boot program and a verification support program for realizing verification support processing. The RAM 203 is used as a work area for the CPU 201. The magnetic disk drive 204 controls reading / writing of data with respect to the magnetic disk 205 according to the control of the CPU 201. The magnetic disk 205 stores data written under the control of the magnetic disk drive 204.

  The optical disk drive 206 controls reading / writing of data with respect to the optical disk 207 according to the control of the CPU 201. The optical disk 207 stores data written under the control of the optical disk drive 206, or causes the computer to read data stored on the optical disk 207.

  The display 208 displays data such as a document, an image, and function information as well as a cursor, an icon, or a tool box. As the display 208, for example, a CRT, a TFT liquid crystal display, a plasma display, or the like can be adopted.

  An interface (hereinafter abbreviated as “I / F”) 209 is connected to a network 214 such as a LAN (Local Area Network), a WAN (Wide Area Network), and the Internet through a communication line. Connected to the device. The I / F 209 controls an internal interface with the network 214 and controls data input / output from an external device. For example, a modem or a LAN adapter may be employed as the I / F 209.

  The keyboard 210 includes keys for inputting characters, numbers, various instructions, and the like, and inputs data. Moreover, a touch panel type input pad or a numeric keypad may be used. The mouse 211 performs cursor movement, range selection, window movement, size change, and the like. A trackball or a joystick may be used as long as they have the same function as a pointing device.

  The scanner 212 optically reads an image and takes in image data related to the verification target circuit into the verification support apparatus 100. The scanner 212 may have an OCR (Optical Character Reader) function. The printer 213 prints image data and document data related to the verification result and the verification target circuit. As the printer 213, for example, a laser printer or an ink jet printer can be employed.

(Functional configuration of verification support device)
FIG. 3 is a block diagram illustrating a functional configuration of the verification support apparatus. The verification support apparatus 100 includes a simulation execution unit 300 that controls simulation of a verification target circuit. Furthermore, the verification support apparatus 100 includes an acquisition unit 301, a specification unit 302, a correction unit 303, an output unit 304, and a determination unit 305 as functional units for realizing the verification support process according to the present embodiment. , Is included.

  Specifically, the functions (simulation execution unit 300 to determination unit 305) serving as the control unit of the verification support apparatus 100 are, for example, storage devices such as the ROM 202, the RAM 203, the magnetic disk 205, and the optical disk 207 illustrated in FIG. The function related to the verification support processing is realized by causing the CPU 201 to execute the verification support program stored in the above or by the I / F 209.

  The simulation execution unit 300 has a function of executing a simulation of the verification target circuit. The simulation execution unit 300 simulates the operation of the verification target circuit using the input circuit design information 310. The simulation may be performed using a known technique and is not particularly limited. In the present embodiment, as an example, a STA (Static Timing Analysis) tool is used.

  The acquisition unit 301 has a function of acquiring power supply noise generated in the evaluation target circuit. Specifically, the acquisition unit 301 acquires power supply noise generated between the device in the evaluation target circuit and the power supply from the circuit design information 310 of the evaluation target circuit input from the outside.

  Further, it is possible to specify power supply noise by specifying the value of LCR in the PKG that is generally a circuit to be verified. Therefore, the acquisition unit 301 may be configured to acquire each value of LCR in the verification target circuit from the circuit design information 310. The LCR uses various known analysis tools with reference to the circuit design information 310 described above (for example, there is a dedicated tool such as a three-dimensional magnetic field analysis tool “TPA” of Ansoft Japan Co., Ltd.). It can be obtained by. Note that the data acquired by the acquisition unit 301 is stored in a storage area such as the RAM 203, the magnetic disk 205, and the optical disk 207.

  The specifying unit 302 has a function of specifying operation characteristics according to the verification target circuit. The specifying unit 302 of the verification support apparatus 100 can access a database in which operation characteristics corresponding to LCR generated in the verification target circuit and power supply noise are stored in advance. Therefore, when the acquisition unit 301 acquires the value of the LCR or power supply noise generated in the circuit to be verified, the operation characteristic according to the value of the LCR or power supply noise acquired from the database can be specified.

  The specified characteristic information is stored in a storage area such as the RAM 203, the magnetic disk 205, and the optical disk 207. The database may be prepared in a storage area such as the RAM 203, the magnetic disk 205, or the optical disk 207 in the verification support apparatus 100, or may be prepared in an external storage area that can be connected from the verification support apparatus 100. Good.

  The correction unit 303 has a function of correcting the operation result obtained by the simulation execution unit 300 according to the operation characteristic specified by the specifying unit 302. Specifically, the correction unit 303 corrects the value output as the operation result so that the value takes into account the case where an operation error corresponding to the characteristic information occurs.

  For example, it is assumed that the access time between the CPU and the memory is given as the characteristic information indicating a delay at a predetermined value or a predetermined ratio. Therefore, the correction unit 303 corrects the operation result output from the simulation execution unit 300 to a value in which a delay corresponding to the characteristic information has occurred. The operation result 320 corrected by the correcting unit 303 is stored in a storage area such as the RAM 203, the magnetic disk 205, and the optical disk 207.

  The output unit 304 has a function of outputting the operation result 320 corrected by the correction unit 303. Information output as the operation result 320 includes, for example, a processing result and processing time during simulation, and a comparison result with a required specification. The output format includes, for example, display on the display 208, print output to the printer 213, and transmission to an external device via the I / F 209. Further, output information from the output unit 304 may be stored in a storage area such as the RAM 203, the magnetic disk 205, and the optical disk 207.

  The determination unit 305 has a function of determining whether the corrected operation result 320 satisfies an operation specification (required specification 330) required for the circuit to be verified. The required specification 330 is a value that can be arbitrarily set by the user of the verification support apparatus 100. Therefore, the required specification 330 may be prepared as appropriate according to the application of the device. The determination result by the determination unit 305 may be stored in a storage area such as the RAM 203, the magnetic disk 205, and the optical disk 207. When the determination unit 305 determines whether the corrected operation result 320 satisfies the required specification 330, the determination result is output from the output unit 304.

(Procedure for verification support processing)
FIG. 4 is a flowchart showing the procedure of the verification support process. Each step shown in FIG. 4 represents a procedure for automatically selecting PKGs that satisfy the required specifications as an example of verification support processing by the verification support apparatus 100. By executing the processing of the flowchart of FIG. 4, it is possible to perform spec determination based on an operation considering an actual use environment.

  First, in FIG. 4, the verification support apparatus 100 performs PKG wiring design of a verification target circuit (step S401). Instead of the processing in step S401, the already designed PKG circuit design information 310 may be acquired. Next, the PKG LCR is extracted from the designed or acquired circuit design information 310 of the PKG (step S402). Then, the verification target circuit is simulated using the extracted LCR (step S403).

  Further, in parallel with the process of step S403, the verification support apparatus 100 identifies power supply noise generated in the PKG using the LCR extracted in step S402 (step S404). Then, using the identified power supply noise, the database is searched to identify characteristic information in the actual use environment 120 (step S405).

  When the simulation in step S403 and the specification of the characteristic information in step S405 are completed, a correction process for the simulation operation result is performed using the characteristic information (step S406). The correction process in step S406 will be described in detail later.

  Then, the verification support apparatus 100 determines whether or not the operation result 320 corrected by the determination unit 305 satisfies the required specification 330 (step S407). In step S407, when the operation result 320 does not satisfy the required specification 330 (step S407: No), the process returns to step S401 to reexamine the PKG wiring design. Then, if the determination in step S407 is OK (step S407: Yes), a series of verification support processes are terminated assuming that an operation result 320 that satisfies the required specification 330 is obtained.

(Correction procedure)
FIG. 5A is an explanatory diagram illustrating a procedure of correction processing. FIG. 5 shows the processing in step S406 described in FIG. 4 in detail. In the correction process, the operation result (corrected operation result 320) when the operation is performed in the actual use environment is created using the simulation operation result obtained in step S403 and the characteristic information obtained in step S405.

  FIG. 5B is a data table showing an example of storage of the STA spec DB. In this embodiment, STA is used as described above. Therefore, the operation results of the simulation in step S403 are stored in the STA spec DB 501 with the operation values of predetermined items as in the data table 520 in FIG. Further, in order to specify the characteristic information, the specific difference DB 502 is searched from the LCR of the PKG extracted in step S402. The characteristic difference DB 502 stores characteristic differences between the operation in the device verification environment 110 and the operation in the actual use environment 120 for each LCR value as characteristic information for correcting the operation result of the simulation in step S403.

  Therefore, the operation result stored in the STA spec DB 501 is corrected using the characteristic information retrieved from the specific difference DB 502, thereby creating an operation result suitable for the actual use environment 120. The created operation result is stored in the corrected STA spec DB 503. In the determination processing in step 407, it is determined whether or not the required specification 330 is satisfied using the operation result stored in the corrected STA specification DB 503.

(Database creation process)
As described in the specifying unit 302 in FIG. 3, the verification support apparatus 100 specifies characteristic information representing an operation according to power supply noise generated in the actual use environment 120 from a database prepared in advance. Therefore, an example of database creation processing will be described next.

  FIG. 6 is an explanatory diagram illustrating an example of an actual use environment. In the present embodiment, a flexible power supply noise environment is realized on a silicon substrate using a power supply evaluation chip (actual machine). Specific examples of the actual usage environment 120 include a power supply environment as shown in FIG. The power supply evaluation chip has a configuration capable of reproducing a connection form having a small parasitic capacitance such as CoC (Chip on Chip) or Si through via.

  Operation data in various power supply noise environments (LCR) as shown in FIG. 6 is acquired. And the characteristic information for every power supply noise can be obtained by calculating | requiring the difference of each operation | movement data in these device verification environment 110 and the actual use environment 120. FIG. Note that the power supply environment of the power supply evaluation chip is not limited to the configuration formed on the silicon substrate as illustrated in FIG. 6, and a configuration in which passive components are arranged in the silicon substrate may be combined.

  FIG. 7 is an explanatory diagram illustrating a configuration example of the characteristic information acquisition system. In order to create the database, a characteristic information acquisition system is configured in which a tester 720 is connected to a memory chip 700 and a power supply evaluation chip 710 mounted on the PKG. In FIG. 7, the resistance value between VDD and VDDQ in the PKG is detected by a variable parameter in the power supply evaluation chip 710.

  Although not shown in FIG. 7, similarly, the following values can be detected by providing a variable resistor.

・ Capacitance value between VDD and VDDQ ・ Inductive value between VDD and VDDQ ・ Resistance of VDD (VDDQ) ・ Resistance of VSS (VSSQ) (current path)
・ Noise transmission with SoC power supply

  The ON / OFF setting of each switch (SW1 to N) can be controlled by serial input from an external terminal (SW) and the setting of each register (Reg1 to N). SW / CLK is supplied from a tester in the same manner as signal lines such as Add / Cnt / DQ of the memory.

  FIG. 8 is a data table showing an example of storing the difference characteristics. The value measured by the characteristic information acquisition system is stored in the database as a differential characteristic. Specifically, as shown in the data table 800 of FIG. 8, a delay time (10 ps unit) of processing time corresponding to the capacitance value between VDD and VDDQ and the resistance value between VDD and VDDQ is stored as characteristic information. . Since the data table 800 is prepared for each induction value between VDD and VDDQ, when each LCR value is extracted, the corresponding characteristic information is specified from the database.

  In the actual usage environment 120, not all values of LCR are generated between the device and the power supply. That is, there are cases where L, C, and R are independent (including the case where LC is canceled), or only two values of LCR are generated. Therefore, characteristic information including the case of L = 0, C = 0, and R = 0 is prepared in the database.

  As described above, according to the verification support program, the verification support apparatus, and the verification support method according to the present embodiment, the simulation is executed using the design information of the verification target circuit, and the design information is used in the verification target circuit. Get information about the value of the generated power supply noise. The acquired information specifies the operating characteristics in the actual use environment of the circuit to be verified. Then, the operation result obtained from the simulation of the circuit to be verified can be corrected using the specified operation characteristic. Therefore, highly accurate verification considering the actual use environment is possible.

  In the above technology, a function unit that compares the required specifications with the corrected operation results can be provided to automatically determine whether or not the specifications required for operation in the actual use environment are satisfied. it can. Therefore, it is possible to automatically select circuits that satisfy the required specifications. If the required specifications are not met, a setting may be made to prompt the designer to change the design of the circuit by outputting a predetermined message or starting a design tool.

  In the above technique, difference information between the characteristic information corresponding to the power supply noise that may occur in the circuit to be verified and the characteristic information in the ideal environment may be stored in the database. Then, difference information between the operation characteristic due to the power supply noise acquired by the verification target circuit from the database and the operation characteristic in the ideal environment is specified. Therefore, by adding the difference information to the operation result of the simulation in the ideal environment, it is possible to obtain an operation result in consideration of the actual use environment with only simple arithmetic processing.

  In the above technique, the operation delay time in the verification target circuit may be specified as the operation characteristic based on the value of the power supply noise. In the correction process, the operation result obtained by executing the simulation is corrected so as to be delayed by the specified delay time. Therefore, it is possible to obtain an accurate processing time in consideration of the actual use environment as an operation result of the circuit to be verified.

  In the above technique, the resistance value, the capacitance value, and the value of each electromagnetic induction value generated between the power source and the device in the verification target circuit may be stored as the characteristic information. If the resistance value, capacitance value, and electromagnetic induction value generated between the power supply and the device in the verification target circuit are obtained from the design information of the verification target circuit, the verification target circuit is operated in the actual environment from these values. The characteristic information can be specified. That is, it is possible to obtain an operation result in consideration of the actual use environment without individually acquiring the power supply noise value.

  The verification support method described in this embodiment can be realized by executing a program prepared in advance on a computer such as a personal computer or a workstation. The verification support program is recorded on a computer-readable recording medium such as a hard disk, a flexible disk, a CD-ROM, an MO, and a DVD, and is executed by being read from the recording medium by the computer. The verification support program may be distributed through a network such as the Internet.

  In addition, the verification support apparatus 100 described in the present embodiment is a specific application IC (hereinafter simply referred to as “ASIC”) such as a standard cell or a structured ASIC (Application Specific Integrated Circuit), or a PLD (Programmable) such as an FPGA. It can also be realized by Logic Device). Specifically, for example, the function (acquisition unit 301 to determination unit 305) of the above-described verification support apparatus 100 is defined by HDL description, and the HDL description is logically synthesized and given to the ASIC or PLD to provide verification support. The device 100 can be manufactured.

  The following additional notes are disclosed with respect to the embodiment described above.

(Supplementary note 1) A computer that controls simulation of a circuit to be verified
Obtaining means for obtaining a value of power supply noise generated between a device in the circuit to be verified and a power supply from design information of the circuit to be verified;
A specifying means for specifying an operation characteristic according to a power supply noise value acquired by the acquisition means from a database storing operation characteristics according to a power supply noise value;
Correction means for correcting the operation result obtained by the simulation of the verification target circuit according to the operation characteristic specified by the specifying means;
Output means for outputting the operation result corrected by the correction means;
Verification support program characterized by functioning as

(Supplementary note 2)
The corrected operation result output by the output unit functions as a determination unit that determines whether or not the operation specification required for the verification target circuit is satisfied,
The verification support program according to appendix 1, wherein the output unit outputs a determination result by the determination unit.

(Supplementary Note 3) The database stores difference information between each characteristic information corresponding to a value of power supply noise that may occur in the circuit to be verified and characteristic information in an ideal environment,
The specifying means specifies the difference information between the operating characteristics according to the value of the power supply noise acquired by the acquiring means from the database and the operating characteristics in an ideal environment,
The verification support program according to appendix 1 or 2, wherein the correction unit corrects an operation result obtained by a simulation of the verification target circuit using the difference information specified by the specifying unit.

(Appendix 4) The specifying means specifies an operation delay time in the circuit to be verified as an operation characteristic depending on a value of the power supply noise,
The correction unit corrects the operation result obtained by the simulation of the circuit to be verified into an operation result that causes a delay corresponding to the delay time specified by the specifying unit. The verification support program described in 1.

(Supplementary Note 5) The database stores characteristic information according to the value of power supply noise generated for each resistance value, capacitance value, and electromagnetic induction value.
The acquisition unit acquires a resistance value, a capacitance value, and an electromagnetic induction value generated between a device in the verification target circuit and the power source from design information of the verification target circuit,
The specifying unit specifies an operation characteristic according to a value of power supply noise generated by a resistance value, a capacitance value, and an electromagnetic induction value acquired from the database by the acquiring unit. The verification support program as described in any one of -4.

(Supplementary Note 6) Execution means for controlling simulation of the verification target circuit;
Obtaining means for obtaining a value of power supply noise generated between a device in the circuit to be verified and a power supply from design information of the circuit to be verified;
A specifying means for specifying an operation characteristic according to a power noise value acquired by the acquisition means from a database storing operation characteristics according to a power noise value generated in the circuit to be verified;
Correction means for correcting the operation result obtained by the simulation of the circuit to be verified by the execution means according to the operation characteristic specified by the specifying means;
Output means for outputting the operation result corrected by the correction means;
A verification support apparatus comprising:

(Appendix 7) A computer that controls simulation of a circuit to be verified is
An acquisition step of acquiring a value of power supply noise generated between a device in the verification target circuit and a power supply from design information of the verification target circuit;
A specifying step of specifying an operation characteristic according to a value of power supply noise acquired by the acquisition unit from a database storing operation characteristics according to a value of power supply noise generated in the circuit to be verified;
A correction step of correcting the operation result obtained by the simulation of the verification target circuit according to the operation characteristic specified by the specifying step;
An output step of outputting the operation result corrected by the correction step;
The verification support method characterized by performing this.

DESCRIPTION OF SYMBOLS 100 Verification support apparatus 110 Device verification environment 120 Actual use environment 300 Simulation execution part 301 Acquisition part 302 Identification part 303 Correction part 304 Output part 305 Determination part 310 Circuit design information 320 Operation result 330 Requirement specification 501 STA specification DB (database)
502 Specific difference DB (database)
503 Correction STA spec DB (database)
700 Memory Chip 710 Power Supply Evaluation Chip 720 Tester

Claims (5)

A computer that controls the simulation of the circuit to be verified,
Obtaining means for obtaining a value of power supply noise generated between a device in the circuit to be verified and a power supply from design information of the circuit to be verified;
A specifying means for specifying an operation characteristic according to a power supply noise value acquired by the acquisition means from a database storing operation characteristics according to a power supply noise value;
Correction means for correcting the operation result obtained by the simulation of the verification target circuit according to the operation characteristic specified by the specifying means;
Output means for outputting the operation result corrected by the correction means;
Verification support program characterized by functioning as Said computer further
The corrected operation result output by the output unit functions as a determination unit that determines whether or not the operation specification required for the verification target circuit is satisfied,
The verification support program according to claim 1, wherein the output unit outputs a determination result by the determination unit. The specifying means specifies an operation delay time in the circuit to be verified as an operation characteristic depending on a value of the power supply noise,
3. The correction unit according to claim 1, wherein the correction unit corrects an operation result obtained by simulation of the circuit to be verified into an operation result that causes a delay corresponding to a delay time specified by the specifying unit. Verification support program. Execution means for controlling the simulation of the circuit to be verified;
Obtaining means for obtaining a value of power supply noise generated between a device in the circuit to be verified and a power supply from design information of the circuit to be verified;
A specifying means for specifying an operation characteristic according to a power noise value acquired by the acquisition means from a database storing operation characteristics according to a power noise value generated in the circuit to be verified;
Correction means for correcting the operation result obtained by the simulation of the circuit to be verified by the execution means according to the operation characteristic specified by the specifying means;
Output means for outputting the operation result corrected by the correction means;
A verification support apparatus comprising: A computer that controls the simulation of the circuit to be verified
An acquisition step of acquiring a value of power supply noise generated between a device in the verification target circuit and a power supply from design information of the verification target circuit;
A specifying step of specifying an operation characteristic according to a value of power supply noise acquired by the acquisition unit from a database storing operation characteristics according to a value of power supply noise generated in the circuit to be verified;
A correction step of correcting the operation result obtained by the simulation of the verification target circuit according to the operation characteristic specified by the specifying step;
An output step of outputting the operation result corrected by the correction step;
The verification support method characterized by performing this.

Images