Computer-aided design and analysis of circuits and semiconductor – Nanotechnology related integrated circuit design
Reexamination Certificate
2000-04-14
2002-12-03
Smith, Matthew (Department: 2825)
Computer-aided design and analysis of circuits and semiconductor
Nanotechnology related integrated circuit design
C716S030000, C716S030000, C716S030000
Reexamination Certificate
active
06490715
ABSTRACT:
BACKGROUND OF THE INVENTION
This invention relates to a cell library database used in computer-aided design (CAD) of logical devices such as semiconductor integrated circuits and a design aiding system using the cell library database. Particularly, the invention relates to a cell library database and a design aiding system appropriate for logical simulation used for design verification of logic, delay, or the like, of logical devices ,failure analysis, software development tools, or the like.
Hitherto, in computer-aided design (CAD) of logical devices such as semiconductor integrated circuits, power consumption has been reduced based on various techniques and concepts with an increase in the importance of low power consumption in chips, systems, apparatus, etc., of LSI, etc.
One of the techniques of reducing power consumption is a design technique of changing a conventional single power supply to multiple power supplies. According to the design technique, in LSI, for example, conventional power supply voltage is used for an interface circuit with the outside and the power supply voltage is decreased for internal circuitry, thereby reducing power consumption. Based on a similar concept, conventional power supply voltage is given to blocks in LSI requiring high-speed performance and lower power supply voltage is given to blocks not requiring high speed, whereby it is also made possible to reduce power consumption of the LSI.
To conduct circuit design of LSI as exemplified above, there is a possibility that the same standard cell may be used under different power supply voltages. Thus, in logical simulation, it is necessary to provide cell library databases corresponding to the power supply voltages even for the cells having the same logic and use the provided cell library databases to verify the design. JP-A-6-260557 discloses a semiconductor design aiding system for verifying design of LSI with multiple power supplies mixed. The contents of the semiconductor design aiding system will be discussed briefly.
The semiconductor design aiding system in the related art is as follows: When a circuit diagram is drawn, the cells having the same logical function are represented by the same symbol mark. Which power supply voltage each cell operates on is indicated in the circuit diagram, whereby when the circuit diagram is expanded to a net list, the cell is converted into a predetermined cell name based on the combination of the corresponding function and operation power supply voltage, whereby the logical information and electrical characteristics of the corresponding logical cell in the cell library database are used to execute logical simulation.
FIG. 8
illustrates the contents of the cell library database used in the related art example. Cell library registration information contains information of a symbol mark
501
of a cell (NAND gate
510
), a logical relation table
502
of input signals A and B and an output signal Y, and a delay time table
503
listing the propagation delay times until the output signal C is output after the input signals A and B change.
Another technique aside from the above-described technologies of reducing power consumption is as follows: A control function is provided wherein when the circuit operation is not required, power supply to the corresponding logical block is stopped and when the circuit operation is required, power is supplied to the logical block, whereby fruitless circuit operation is reduced for decreasing the power consumption of the whole circuitry.
With the design aiding system in the related art described above, logical simulation of a semiconductor integrated circuit with multiple power supplies mixed can be executed; however, the logical information and the delay time information are described as registration information in the cell library database based on the premise that power is always supplied, thus if logical simulation is executed for a circuit having a control function of supplying power to logical blocks and stopping power supply to logical blocks as in the third technique of reducing power consumption as described above, all logical blocks always operate. Thus, if the whole circuitry is logically simulated at a time, it is impossible to verify design of the circuit specifications as essentially assumed and the circuit for controlling power supply and power supply stop and the logical blocks must be logically simulated and checked separately. Since logical simulation of the whole circuitry cannot be accomplished in batch, the connection relationship between the logical blocks, etc., is verified by another worker or function simulation or the like; the design verification job becomes intricate.
SUMMARY OF THE INVENTION
It is therefore an object of the invention to provide a cell library database and a design aiding system for making it possible to logically simulate the whole of even a logical device comprising a control function of power supply and power supply stop in batch and consequently execute logical simulation accurately and easily.
To the end, according to first aspect of the invention, there is provided a cell library database having function information of standard cells which are basic circuit forming a logical device, each of the standard cell having at least one of power supply terminal as logical terminal, the function information of the standard cell containing logical information of the power supply terminal relative to an output terminal.
According to second aspect of the invention, there is provided a cell library database having function information of standard cells which are basic circuit forming a logical device, each of the standard cell having at least one of power supply terminal as logical terminal, the function information of the standard cell contains delay information of the power supply terminals relative to an output terminal.
According to third aspect of the invention, there is provided a cell library database having function information of macro cells which are functional circuits forming a logical device, each of the macro cell having at least one of power supply terminal as logical terminals, and the function information of the macro cell containing logical information of the power supply terminal relative to an output terminal.
According to fourth aspect of the invention, there is provided a cell library database having function information of macro cells which are functional circuits forming a logical device, each of the macro cell having at least one of power supply terminal as logical terminals and the function information of the macro cell containing delay information of the power supply terminals relative to an output terminal.
According to fifth aspect of the invention, there is provided a design aiding system using a cell library database as described above for aiding design of logical devices.
In the cell library database, the standard cell comprises one or more power supply terminals as logical terminals and the function information of the standard cell for each type in the cell library database contains the logical information or the delay information of the one or more power supply terminals relative to the output terminal. The design aiding system uses the cell library database to execute logical simulation, or the like.
The standard cell is a basic circuit forming a logical device; for example, it corresponds to a gate element such as a NAND gate or a NOR gate, a flip-flop (latch), or the like. Power supply potential Vcc, ground potential GND, etc., is supplied to the power supply terminal, and different potentials of 5 [V], 3.3 [V], 2.5 [V], 1.8 [V], or the like, are used as the power supply potential Vcc. The logical information of the standard cell corresponds to a logic relation table of the input and power supply terminals to the output terminal, etc., for example. As the handled signal values, the logical values “1”, “0”, “H”, “L”, “X” corresponding to “undefined”are used and in addition, “↑” and “↓” are used as transi
Kajiwara Jun
Kinoshita Masayoshi
Moriwaki Toshiyuki
Sakiyama Shiro
Yamamoto Hiroo
Do Thuan
Matsushita Electric - Industrial Co., Ltd.
Pearne & Gordon LLP
Smith Matthew
LandOfFree
Cell library database and design aiding system does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Cell library database and design aiding system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Cell library database and design aiding system will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2989473