US20020143515A1 - Method and program product for modeling circuits with latch based design - Google Patents
Method and program product for modeling circuits with latch based design Download PDFInfo
- Publication number
- US20020143515A1 US20020143515A1 US09/817,298 US81729801A US2002143515A1 US 20020143515 A1 US20020143515 A1 US 20020143515A1 US 81729801 A US81729801 A US 81729801A US 2002143515 A1 US2002143515 A1 US 2002143515A1
- Authority
- US
- United States
- Prior art keywords
- latch
- clock phase
- latches
- pulse
- clock
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000000034 method Methods 0.000 title claims abstract description 60
- 238000013461 design Methods 0.000 title description 4
- 230000001960 triggered effect Effects 0.000 claims abstract description 50
- 239000000872 buffer Substances 0.000 claims abstract description 23
- 238000004590 computer program Methods 0.000 claims abstract description 11
- 238000012360 testing method Methods 0.000 description 4
- 230000000630 rising effect Effects 0.000 description 3
- 230000009466 transformation Effects 0.000 description 3
- 230000004048 modification Effects 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000008569 process Effects 0.000 description 2
- 238000000844 transformation Methods 0.000 description 2
- 238000012795 verification Methods 0.000 description 2
- 230000004075 alteration Effects 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 230000008713 feedback mechanism Effects 0.000 description 1
- 230000006870 function Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
Definitions
- the present invention relates to a method and a computer program product for modeling a latch-based design logic circuits to enable the use of conventional circuit analysis software programs.
- FIG. 1 shows examples of latches that need to be modeled in order to enable several circuit analysis software programs like Automatic Test Pattern Generator (ATPG), fault simulator, testability analysis, and others to handle this type of circuit.
- a D-type edge-triggered flip-flop actually contains two latches connected in series.
- a first latch captures the data input of the flip-flop, and the output of this first latch is connected to the input of the second latch. Finally, the output of the second latch also constitutes the output of the edge-triggered flip-flop.
- the clock of the two latches is derived from the same input clock. The input clock to the edge-triggered flip-flop is connected to the clock input of the second latch whereas the clock input of the first latch is connected to the inverse of the input clock. This way, the two latches are never transparent at the same time.
- a pulse latch behaves almost exactly like an edge-triggered flip-flop because the latch updates its output and captures its input around the time of the rising edge of the second clock phase. The difference is that the capture occurs on the falling edge of the pulse.
- the width of the pulse can be made very small so that a pulse latch can be treated like an edge-triggered flip-flop for the purpose of circuit analysis. Most software programs of the type mentioned earlier cannot handle circuitry of this type.
- the method does not show how to model the scan cells. These cells are not readily recognizable by the software programs assuming edge-triggered flip-flops.
- the patent does not describe how to model latches associated with the second clock phase that also use a non-scan cell which are common in high-performance circuits.
- the patent does not describe how to model pulse generators found in circuits containing pulse latches.
- the patent does not describe how to validate the underlying assumptions under which the models can be used.
- One aspect of the present invention is defined as a method of modeling a logic circuit having combinational logic and latches, in which the latches are clocked by one of a first clock phase, a second clock phase or a pulse derived from the second clock phase, a subset of the latches being scannable, comprises, for each latch in the logic circuit, associating the latch with one of the first and second clock phase; and when the latch is associated with the first clock phase, modeling the latch as a buffer connected between the data input and output of the latch; and when the latch is associated with the second clock phase, modeling the latch as an edge-triggered flip-flop having the same data input, data output and clock input as the latch.
- Another aspect of the present invention relates to a computer program product for modeling a logic circuit having combinational logic and latches, in which the latches are clocked by one of a first clock phase, a second clock phase or a pulse derived from the second clock phase, a subset of the latches being scannable
- the computer program product comprises, a computer readable storage medium; means recorded on the medium for, for each latch in the logic circuit, associating the latch with one of the first and second clock phase; means recorded on the medium for modeling the latch as a buffer connected between the data input and output of the latch when the latch is associated with the first clock phase, and means recorded on the medium for modeling the latch as an edge-triggered flip-flop having the same data input, data output and clock input as the latch when the latch is associated with the second clock phase.
- FIG. 1 illustrates an example of a typical prior art latch used in high-performance circuits
- FIG. 2 illustrates a symbol used in various figures to represent a non-scannable latch
- FIG. 3 illustrates a symbol used in various figures to represent a scannable latch
- FIG. 4 is a circuit schematic of a pulse generator and illustrates a symbol used in various figures to represent a pulse generator
- FIG. 5 illustrates a combination of a pulse generator and latches and an equivalent model according to an embodiment of the present invention
- FIG. 6 illustrates a combination of latches controlled by two clock phases and its equivalent model, according to an embodiment of the present invention
- FIG. 7 illustrates a complete circuit and its equivalent model, according to an embodiment of the present invention
- FIG. 8 illustrates a latch modeling procedure for latches having a gated clock according to an embodiment of the present invention.
- FIG. 9 is a block diagram illustration of the major components of a computer program product according to an embodiment of the present invention.
- FIG. 1 shows a basic scannable latch 10 used in high-performance circuits.
- Latch 10 includes a functional latch portion 12 and a scannable latch portion 14 .
- a non-scannable version of latch 10 simply consists of the circuit above the dotted line 16 .
- both the scannable and non-scannable latch portions 12 and 14 behave the same way. That is, input D is connected to the output Q for as long as input clock CLK is active (high in this case). When input clock CLK becomes inactive (low in this case), the value of input D at that time is stored in latch 12 and this value remains stable and available to the rest of the circuit via output Q until input clock CLK becomes active again.
- a shift clock, SHIFT, applied to the scannable latch portion 14 must be inactive when the latch is used in functional or normal mode.
- Each scannable latch in a circuit contains the test-dedicated latch 14 , in addition to the functional latch 12 , to enable the shifting of new data into and out of the functional latch for test purposes.
- the particular latch of FIG. 1 becomes an edge-triggered flip-flop when operated in shift mode. That is, data input at SI is captured on the rising edge of shift clock SHIFT and transferred to outputs Q and SO.
- the shifting operation can be implemented using a two-phase clock as is described in aforementioned U.S. Pat. No.
- FIGS. 2 and 3 are schematic representations of the non-scannable latch 12 and scannable latch 14 , respectively.
- the small triangle adjacent the input labeled SHIFT in FIG. 3 indicates that this input is edge-sensitive.
- Input clock CLK is level-sensitive and is not annotated with the small triangle.
- FIG. 4 is a simple example of a prior art pulse generator 20 , also called clock chopper, and its associated schematic representation 22 .
- the particular pulse generator illustrated creates a pulse at its output CLK.
- the duration of the pulse is determined by the delay provided by serially connected inverters 24 , consequent to the rising edge of an input clock PH 2 . Any odd number of inverters can be used.
- Aforementioned U.S. Pat. No. 5,742,190 provides a feedback mechanism which can be used to create the pulse. Many other implementations can be found in the literature but they are all equivalent for the purpose of the present invention.
- the present invention provides a method of and a computer program product for modeling a logic circuit having combinational logic and latches, with the latches being clocked by one of a first clock phase, a second clock phase or a pulse derived from the second clock phase.
- the method comprises, for each latch in the logic circuit, associating the latch with one of the first and second clock phase.
- the latch is modeled as a buffer connected between the data input and output of said latch.
- the latch is modeled as an edge-triggered flip-flop having the same data input, data output and clock input as the latch.
- clock phases PH 1 and PH 2 are typically generated by suitable clock generator, such as two-phase clock generator 66 as shown in FIG. 7.
- FIG. 5 illustrates a method of modeling the combination of a pulse generator 30 and a functional latch 32 and an associated scannable latch 34 , according to one embodiment of the present invention. Since latches 32 and 34 are driven by a pulse generator, they are considered to be “pulse latches”.
- the left side of the figure shows an actual circuit using the representations of FIGS. 2 - 4 .
- the right side of the figure illustrates a corresponding model 36 of the circuit for use with analysis software programs.
- Latches 32 and 34 are treated as edge-triggered flip-flops clocked by clock phase PH 2 .
- Pulse generator 30 is modeled as a clock buffer 38 driven by clock phase PH 2 .
- the pulse generator output is shared by both non-scannable latch 32 and scannable latch 34 . It will be understood that any number of latches, scannable or non-scannable, could share the same pulse generator and that a latch generator could be part of each latch.
- FIG. 6 illustrates a circuit 50 comprised of a combination of non-pulse latches 52 and 54 and combinational logic 56 .
- Latches 52 are clocked by a first clock phase PH 1 .
- Latches 54 are clocked by a second clock phase PH 2 .
- each non-pulse latch which is clocked by the first clock phase PH 1 is modeled as a buffer 58 connected between the data input and output of the latch and each non-pulse latch which is clocked by the second clock phase PH 2 is modeled as an edge-triggered flip-flop having the same data input, data output and clock input.
- Latches clocked by the second clock phase PH 2 are considered to be on a “cycle boundary” and determine the state of the circuit for all conventional analysis software programs. Only latches which reside on a cycle boundary need to be scannable. The specific number of scannable or non-scannable latches controlled by the second clock phase does not affect the modeling method.
- FIG. 7 illustrates a sample circuit having pulse and non-pulse latches, pulse generators, latches clocked by PH 1 and PH 2 and combinational logic to illustrate the manner in which a circuit is modeled according to the present invention.
- the top half of the figure shows a portion of a circuit 60 including combinational logic 62 and latches clocked by a first clock phase PH 1 or a second clock phase PH 2 .
- the bottom half of the figure illustrates a model 64 derived from the transformations described above.
- Clock phases, PH 1 and PH 2 are generated by two-phase clock generator 66 .
- the clock phases could be provided from off-chip circuitry as well, or in any other manner well known to those skilled in the art.
- the circuit includes a pulse generator 70 which receives clock phase PH 2 as input and produces an output applied to the clock input of non-scannable, pulse latch 72 .
- pulse generator 70 is replaced by buffer 74 .
- Circuit 60 further includes non-scannable latches 76 clocked by first clock phase PH 1 . In accordance with the modeling procedure described in FIG. 6, these latches are replaced by buffers 78 in model 64 .
- the circuit includes a pulse generator 80 which receives PH 2 as input and produces an output applied to the clock input of scannable pulse latch 82 and a non-scannable latch 84 .
- pulse generator 80 is replaced by buffer 85 in accordance with the modeling procedure described in FIG. 5.
- a non-scannable non-pulse latch 86 on the fanout of an output of combinational logic 62 is replaced by a buffer 88 . In this case, the output of latch 86 fans out to latches clocked by PH 2 .
- FIG. 8 illustrates a method of modeling latches clocked by gated clock signals.
- the top half of FIG. 8 illustrates a sample circuit 100 having an AND gate 102 , a non-scannable latch 104 , a scannable latch 106 and combinational logic 108 .
- AND gate 102 receives a clock phase PH 2 and an enable signal EN.
- signal EN prevents the latches from receiving clock phase PH 2 . This effectively configures the latches in a hold mode and their outputs will not change consequent to a clock pulse.
- signal EN allows the latches to receive clock phase PH 2 .
- Afirst output 110 from combinational logic 108 is applied to the data input, D, of latch 104 .
- a second output 112 from combinational logic 108 is applied to the data input, D, of latch 106 . Both latches are clocked by the output of the AND gate 102 .
- a third output 114 from combinational logic 108 is the EN signal.
- FIG. 7 illustrates a model 120 corresponding to circuit 100 for use with circuit analysis software program products.
- Latches 104 and 106 are modeled as a combination of an edge-triggered flip-flop and an associated multiplexer 122 and 124 , respectively, with the edge-triggered flip-flop having the same data output as the latch and having the second clock phase PH 2 or pulse derived from second clock phase PH 2 connected to its clock input.
- AND gate 102 is replaced by a buffer 126 with its output applied to the clock input of latches 104 and 106 .
- the multiplexers each have a first and second data inputs, an input control signal and an output.
- the first input ( 0 ) of multiplexer 122 is connected to the data output Q of edge-triggered flip-flop 104 .
- the second input ( 1 ) of the multiplexer receives data from output 110 of combinational logic 108 .
- the input control signal of both multiplexers receive is enable signal EN generated by a third output 114 of the combinational circuit 108 .
- the output of the multiplexer is connected to the data input, D, of the edge-triggered flip-flop 104 .
- the first input ( 0 ) of multiplexer 124 is connected to the data output Q of edge-triggered flip-flop 106 .
- the second input ( 1 ) of the multiplexer receives data from output 112 of combinational logic 108 .
- the output of the multiplexer 124 is connected to the data input, D, of the edge-triggered flip-flop 106 .
- the best mode of implementing the present invention is in a program product stored on a computer readable storage means.
- the program product includes means for reading a description of the logic circuit and parsing description statements to identify and latches pulse generators and tracing signal to their respective sources. Such means are known in the art and, accordingly, are not described herein.
- the program product will perform modeling transformations as described herein and generate an intermediate circuit description with modified statements.
- the intermediate circuit description can then be used with conventional software in the usual manner. It will be understood by those skilled in this art that the intermediate circuit description is not intended to replace the original circuit description; but, rather, it is intended to permit conventional software to process a description as if the conventional software had been designed to process different latch based circuit designs of the type described above.
- the method comprises, for each latch in the logic circuit, associating the latch with one of the first and second clock phase by tracing backward from the clock input of the latch to a clock source; and when the latch is associated with the first clock phase, modeling the latch as a buffer connected between the data input and output of the latch and when the latch is associated with the second clock phase, modeling the latch as an edge-triggered flip-flop having the same data input, data output and clock input as the latch.
- predetermined modeling conditions are verified as valid including: when the latch is a scannable latch, verifying that the scannable latch is on a cycle boundary; when the latch is a non-pulse latch, verifying that all latches in the fanin of the latch are associated with a different clock phase than the clock phase of the latch; when the latch is a non-pulse latch associated with the first clock phase, verifying that all latches in the fanout of the latch is a non-pulse latch associated with the second clock phase; when the latch is associated with the second clock phase, verifying that all latches in the fanout of the latch are associated with the first clock phase or are pulse latches associated with the second clock phase; and when the latch is a pulse latch, verifying that all latches in the fanin of the latch are associated with the second clock phase.
- the method further includes, for each pulse generator which clocks a latch and generates a pulse derived from the second clock phase, modeling the pulse generator as a buffer connected between a clock input and clock output of the pulse generator.
- the method also includes, for each latch having a clock input which is gated by an enable signal generated by a first output of a combinational circuit, and receiving input data from a second output of the combinational circuit and having and a data output, when the latch is associated with the second clock phase, modeling the latch as a combination of an edge-triggered flip-flop and a multiplexer with the edge-triggered flip-flop having the same data output as the latch and having the second clock phase or the pulse derived from the second clock phase connected to its clock input, the multiplexer having a first and second data input, an input control signal and an output, the first input of the multiplexer being connected to the data output of the edge-triggered flip-flop, the second input of the multiplexer receiving data from the second output of the combinational circuit, the input control signal of the multiplexer receiving the enable signal generated by the second output of the combinational circuit, and the output of the multiplexer being connected to the data input of the edge-triggered flip-flop.
- FIG. 9 diagrammatically illustrates major components of the program product.
- the program product includes a number of modules designed to perform specific tasks in accordance with the present invention.
- the program product includes an appropriate User Interface module 202 to allow a user to invoke the program and specify various parameters including the name and location of a circuit description to be processed and the name and destination for a modified circuit description.
- a Program Control module 204 is responsive to the user interface module for implementing the above described modeling method and procedures of the present invention and for calling or invoking the various modules.
- a Circuit Description Reading/Writing Module 206 is operable to read a specified circuit description 208 and write out a modified circuit description 210 after modeling of latches and other components.
- a Latch Locating, Identification and Classification Module 212 is operable to search for and identify latches and pulse generators in the circuit description and classify the latches as pulse latches, non-pulse latches, scannable latches, and so forth, as required to implement the methods of the present invention.
- a Modeling Rule Verification Module 214 is operable to verify that each latch satisfies predetermined conditions or rules prior to modeling of a latch.
- a Fanin/Fanout Tracing Module 216 is called to interrogate latches in the fanin and fanout of latch inputs and outputs.
- a Signal Tracing Module 218 is called to trace signal inputs to and identify their respective sources.
- a Modeling Module 220 is called to perform appropriate model transformation of latches and pulse generators.
- the program product 200 comprises a computer readable storage medium; a means 204 recorded on the medium for associating each latch in the logic circuit with one of the first and second clock phase including means for tracing backward from the clock input of the latch to a clock source; a means 220 recorded on the medium for modeling a latch as a buffer connected between the data input and output of the latch when the latch is associated with the first clock phase; and for modeling a latch as an edge-triggered flip-flop having the same data input, data output and clock input as the latch when the latch is associated with the second clock phase; for identifying a pulse generator for clocking a latch and generating a pulse derived from the second clock phase and modeling an identified pulse generator as a buffer connected between a clock input and clock output of the pulse generator; for identifying a latch having a clock input gated by an enable signal generated by a first output of a combinational circuit and receiving input data from a second output of the combinational circuit, and which is associated with the second clock phase, and for modeling a
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Tests Of Electronic Circuits (AREA)
Abstract
Description
- The present invention relates to a method and a computer program product for modeling a latch-based design logic circuits to enable the use of conventional circuit analysis software programs.
- Sugisawa et al U.S. Pat. No. 5,619,511 granted on Apr. 8, 1997 for “Dynamic Scan Circuit and Method of Using Same”, Fetherston et al in “Testability Features of AMD-K6 Microprocessor”, International Test Conference 1997, pp. 408-413, both incorporated herein by reference, and FIG. 1 herein show examples of latches that need to be modeled in order to enable several circuit analysis software programs like Automatic Test Pattern Generator (ATPG), fault simulator, testability analysis, and others to handle this type of circuit. These software programs usually assume that the memory elements used in the circuit are D-type edge-triggered flip-flops. A D-type edge-triggered flip-flop actually contains two latches connected in series. That is, a first latch captures the data input of the flip-flop, and the output of this first latch is connected to the input of the second latch. Finally, the output of the second latch also constitutes the output of the edge-triggered flip-flop. The clock of the two latches is derived from the same input clock. The input clock to the edge-triggered flip-flop is connected to the clock input of the second latch whereas the clock input of the first latch is connected to the inverse of the input clock. This way, the two latches are never transparent at the same time.
- Banik et al U.S. Pat. No. 5,742,190 granted on Apr. 21, 1998 for “Method and Apparatus for Clocking Latches in a System Having Both Pulse Latches and Two-Phase Latches”, incorporated herein by reference, illustrates an example of a circuit being addressed herein. The circuit has a combination of latches clocked by a first and second clock phase as well as by a pulse derived from the second clock phase. The latches which are clocked by such pulse are referred to as pulse latches. The patent describes a method of generating clock pulses from the second clock phase. A pulse latch behaves almost exactly like an edge-triggered flip-flop because the latch updates its output and captures its input around the time of the rising edge of the second clock phase. The difference is that the capture occurs on the falling edge of the pulse. The width of the pulse can be made very small so that a pulse latch can be treated like an edge-triggered flip-flop for the purpose of circuit analysis. Most software programs of the type mentioned earlier cannot handle circuitry of this type.
- Parvathala et al U.S. Pat. No. 5,872,785 granted on Feb. 16, 1999 for “Method and Apparatus for Scan Testing of Multi-Phase Logic”, incorporated herein by reference, describes a circuit modeling technique for latch-based circuits. However, there is a number of limitations with this technique. First, the method does not show how to model the scan cells. These cells are not readily recognizable by the software programs assuming edge-triggered flip-flops. Second, the patent does not describe how to model latches associated with the second clock phase that also use a non-scan cell which are common in high-performance circuits. Third, the patent does not describe how to model pulse generators found in circuits containing pulse latches. Fourth, the patent does not describe how to validate the underlying assumptions under which the models can be used.
- In order to overcome these problems, it has been necessary to modify or model portions of a circuit description in such a manner as to allow existing software programs to operate properly. Heretofore, this has been a time consuming, manual task. It would be desirable to provide a method and program product for automating the modeling of circuits of complex latch-based designs of the type described above.
- One aspect of the present invention is defined as a method of modeling a logic circuit having combinational logic and latches, in which the latches are clocked by one of a first clock phase, a second clock phase or a pulse derived from the second clock phase, a subset of the latches being scannable, comprises, for each latch in the logic circuit, associating the latch with one of the first and second clock phase; and when the latch is associated with the first clock phase, modeling the latch as a buffer connected between the data input and output of the latch; and when the latch is associated with the second clock phase, modeling the latch as an edge-triggered flip-flop having the same data input, data output and clock input as the latch.
- Another aspect of the present invention relates to a computer program product for modeling a logic circuit having combinational logic and latches, in which the latches are clocked by one of a first clock phase, a second clock phase or a pulse derived from the second clock phase, a subset of the latches being scannable, the computer program product comprises, a computer readable storage medium; means recorded on the medium for, for each latch in the logic circuit, associating the latch with one of the first and second clock phase; means recorded on the medium for modeling the latch as a buffer connected between the data input and output of the latch when the latch is associated with the first clock phase, and means recorded on the medium for modeling the latch as an edge-triggered flip-flop having the same data input, data output and clock input as the latch when the latch is associated with the second clock phase.
- These and other features of the invention will become more apparent from the following description in which reference is made to the appended drawings in which:
- FIG. 1 illustrates an example of a typical prior art latch used in high-performance circuits;
- FIG. 2 illustrates a symbol used in various figures to represent a non-scannable latch;
- FIG. 3 illustrates a symbol used in various figures to represent a scannable latch;
- FIG. 4 is a circuit schematic of a pulse generator and illustrates a symbol used in various figures to represent a pulse generator;
- FIG. 5 illustrates a combination of a pulse generator and latches and an equivalent model according to an embodiment of the present invention;
- FIG. 6 illustrates a combination of latches controlled by two clock phases and its equivalent model, according to an embodiment of the present invention;
- FIG. 7 illustrates a complete circuit and its equivalent model, according to an embodiment of the present invention;
- FIG. 8 illustrates a latch modeling procedure for latches having a gated clock according to an embodiment of the present invention; and
- FIG. 9 is a block diagram illustration of the major components of a computer program product according to an embodiment of the present invention.
- In the following detailed description, numerous specific details are set forth in order to provide a thorough understanding of the present invention, However, it will be understood by those skilled in the art that the present invention may be practiced without these specific details. In other instances, well known methods, procedures, components and circuits have not been described in detail so as not to obscure aspects of the present invention. Reference may be made to active or inactive signals, logical zeroes and logical ones. When a particular signal or node is a logical zero, the signal or node is referred to as being low, inactive or in a low state. When a particular signal or node is a logical one, the signal or node is referred to as being, active, high or in a high state.
- FIG. 1 shows a basic
scannable latch 10 used in high-performance circuits. - Several variations are possible as shown in the prior art discussed earlier. Latch10 includes a
functional latch portion 12 and ascannable latch portion 14. A non-scannable version oflatch 10 simply consists of the circuit above thedotted line 16. During normal operation, both the scannable andnon-scannable latch portions latch 12 and this value remains stable and available to the rest of the circuit via output Q until input clock CLK becomes active again. - A shift clock, SHIFT, applied to the
scannable latch portion 14 must be inactive when the latch is used in functional or normal mode. Each scannable latch in a circuit contains the test-dedicated latch 14, in addition to thefunctional latch 12, to enable the shifting of new data into and out of the functional latch for test purposes. The particular latch of FIG. 1 becomes an edge-triggered flip-flop when operated in shift mode. That is, data input at SI is captured on the rising edge of shift clock SHIFT and transferred to outputs Q and SO. The shifting operation can be implemented using a two-phase clock as is described in aforementioned U.S. Pat. No. 5,619,511 in which latch 310, the equivalent of test-dedicated latch 14, is connected to the output of latch 115, the equivalent offunctional latch 12, instead of the scan input SI. This difference only causes a slight modification to the sequence of clock phases that must be applied during shift mode. In all cases, input clock CLK must be inactive when data is shifted through the latch. Several variations of these latches exist for implementing asynchronous set or reset functions. However, they can be easily derived from those illustrated herein by a person skilled in the art. - FIGS. 2 and 3 are schematic representations of the
non-scannable latch 12 andscannable latch 14, respectively. The small triangle adjacent the input labeled SHIFT in FIG. 3 indicates that this input is edge-sensitive. Input clock CLK is level-sensitive and is not annotated with the small triangle. - FIG. 4 is a simple example of a prior
art pulse generator 20, also called clock chopper, and its associatedschematic representation 22. The particular pulse generator illustrated creates a pulse at its output CLK. The duration of the pulse is determined by the delay provided by serially connected inverters 24, consequent to the rising edge of an input clock PH2. Any odd number of inverters can be used. Aforementioned U.S. Pat. No. 5,742,190 provides a feedback mechanism which can be used to create the pulse. Many other implementations can be found in the literature but they are all equivalent for the purpose of the present invention. - In general, the present invention provides a method of and a computer program product for modeling a logic circuit having combinational logic and latches, with the latches being clocked by one of a first clock phase, a second clock phase or a pulse derived from the second clock phase. The method comprises, for each latch in the logic circuit, associating the latch with one of the first and second clock phase. When the latch is associated with the first clock phase, the latch is modeled as a buffer connected between the data input and output of said latch. When the latch is associated with the second clock phase, the latch is modeled as an edge-triggered flip-flop having the same data input, data output and clock input as the latch. These latch modeling procedures are performed only upon verifying that predetermined modeling conditions are valid or satisfied. The description will now describe specific modeling procedures and the predetermined modeling conditions according to the present invention. The overall method will then be described in more detail. In the description which follows, reference is made to clock phases PH1 and PH2. These signals are typically generated by suitable clock generator, such as two-
phase clock generator 66 as shown in FIG. 7. - FIG. 5 illustrates a method of modeling the combination of a
pulse generator 30 and afunctional latch 32 and an associatedscannable latch 34, according to one embodiment of the present invention. Sincelatches Latches Pulse generator 30 is modeled as aclock buffer 38 driven by clock phase PH2. The pulse generator output is shared by both non-scannable latch 32 andscannable latch 34. It will be understood that any number of latches, scannable or non-scannable, could share the same pulse generator and that a latch generator could be part of each latch. - FIG. 6 illustrates a
circuit 50 comprised of a combination ofnon-pulse latches combinational logic 56.Latches 52 are clocked by a first clock phase PH1.Latches 54 are clocked by a second clock phase PH2. In accordance with the present invention, each non-pulse latch which is clocked by the first clock phase PH1 is modeled as abuffer 58 connected between the data input and output of the latch and each non-pulse latch which is clocked by the second clock phase PH2 is modeled as an edge-triggered flip-flop having the same data input, data output and clock input. Latches clocked by the second clock phase PH2 are considered to be on a “cycle boundary” and determine the state of the circuit for all conventional analysis software programs. Only latches which reside on a cycle boundary need to be scannable. The specific number of scannable or non-scannable latches controlled by the second clock phase does not affect the modeling method. - The models for the pulse generators and latches shown in FIGS. 5 and 6 are valid under the following modeling conditions:
- 1. all scannable latches reside on a cycle boundary;
- 2. for each non-pulse latch, all latches in the fanin to the latch are associated with a different clock phase other than its own;
- 3. for each non-pulse latch associated with the first clock phase, all latches in the fanout of the latch is a non-pulse latch associated with the second clock phase;
- 4. for each latch associated with the second clock phase, all latches in the fanout of the latch are associated with the first clock phase or are pulse latches associated with said second clock phase; and
- 5. for each pulse latch, all latches in its fanin are associated with the second clock phase.
- It is preferable to provide a software program product that will automatically verify these conditions and create a complete model of the circuit for the other circuit analysis software programs.
- FIG. 7 illustrates a sample circuit having pulse and non-pulse latches, pulse generators, latches clocked by PH1 and PH2 and combinational logic to illustrate the manner in which a circuit is modeled according to the present invention. Referring to FIG. 7, the top half of the figure shows a portion of a
circuit 60 includingcombinational logic 62 and latches clocked by a first clock phase PH1 or a second clock phase PH2. The bottom half of the figure illustrates amodel 64 derived from the transformations described above. Clock phases, PH1 and PH2, are generated by two-phase clock generator 66. The clock phases could be provided from off-chip circuitry as well, or in any other manner well known to those skilled in the art. - The circuit includes a
pulse generator 70 which receives clock phase PH2 as input and produces an output applied to the clock input of non-scannable,pulse latch 72. Inmodel 64,pulse generator 70 is replaced bybuffer 74. -
Circuit 60 further includes non-scannable latches 76 clocked by first clock phase PH1. In accordance with the modeling procedure described in FIG. 6, these latches are replaced bybuffers 78 inmodel 64. - The circuit includes a
pulse generator 80 which receives PH2 as input and produces an output applied to the clock input ofscannable pulse latch 82 and anon-scannable latch 84. Inmodel 64,pulse generator 80 is replaced by buffer 85 in accordance with the modeling procedure described in FIG. 5. Finally, a non-scannablenon-pulse latch 86 on the fanout of an output ofcombinational logic 62 is replaced by a buffer 88. In this case, the output oflatch 86 fans out to latches clocked by PH2. - As will be seen, some of the latches are clocked using pulses derived from the second clock phase. A careful examination of the circuit indicates that all the conditions stated above are met and that
model 64 are valid. - It is common to use clock gating techniques in high-performance and low-power circuits. FIG. 8 illustrates a method of modeling latches clocked by gated clock signals. The top half of FIG. 8 illustrates a
sample circuit 100 having an ANDgate 102, anon-scannable latch 104, ascannable latch 106 andcombinational logic 108. ANDgate 102 receives a clock phase PH2 and an enable signal EN. When inactive, signal EN prevents the latches from receiving clock phase PH2. This effectively configures the latches in a hold mode and their outputs will not change consequent to a clock pulse. When active, signal EN allows the latches to receive clock phase PH2.Afirst output 110 fromcombinational logic 108 is applied to the data input, D, oflatch 104. Asecond output 112 fromcombinational logic 108 is applied to the data input, D, oflatch 106. Both latches are clocked by the output of the ANDgate 102. Athird output 114 fromcombinational logic 108 is the EN signal. - The bottom half of FIG. 7 illustrates a
model 120 corresponding tocircuit 100 for use with circuit analysis software program products.Latches multiplexer gate 102 is replaced by abuffer 126 with its output applied to the clock input oflatches - The multiplexers each have a first and second data inputs, an input control signal and an output. The first input (0) of
multiplexer 122 is connected to the data output Q of edge-triggered flip-flop 104. The second input (1) of the multiplexer receives data fromoutput 110 ofcombinational logic 108. The input control signal of both multiplexers receive is enable signal EN generated by athird output 114 of thecombinational circuit 108. The output of the multiplexer is connected to the data input, D, of the edge-triggered flip-flop 104. Similarly, The first input (0) ofmultiplexer 124 is connected to the data output Q of edge-triggered flip-flop 106. The second input (1) of the multiplexer receives data fromoutput 112 ofcombinational logic 108. The output of themultiplexer 124 is connected to the data input, D, of the edge-triggered flip-flop 106. - This model is valid as long as signal EN is stable while the input clock signal is active. If the delay through the combinational circuit is not sufficiently long to meet this condition, a pulse generator could be used to clock the latches or, another latch could be used to hold signal EN while clock phase PH2 is active. The other condition to verify is to ensure that only latches associated with the second clock phase use gated clocks.
- The best mode of implementing the present invention is in a program product stored on a computer readable storage means. The program product includes means for reading a description of the logic circuit and parsing description statements to identify and latches pulse generators and tracing signal to their respective sources. Such means are known in the art and, accordingly, are not described herein. The program product will perform modeling transformations as described herein and generate an intermediate circuit description with modified statements. The intermediate circuit description can then be used with conventional software in the usual manner. It will be understood by those skilled in this art that the intermediate circuit description is not intended to replace the original circuit description; but, rather, it is intended to permit conventional software to process a description as if the conventional software had been designed to process different latch based circuit designs of the type described above.
- In accordance with a specific embodiment of the method of modeling a logic circuit having combinational logic and latches, in which the latches are clocked by one of a first clock phase, a second clock phase or a pulse derived from the second clock phase, the method comprises, for each latch in the logic circuit, associating the latch with one of the first and second clock phase by tracing backward from the clock input of the latch to a clock source; and when the latch is associated with the first clock phase, modeling the latch as a buffer connected between the data input and output of the latch and when the latch is associated with the second clock phase, modeling the latch as an edge-triggered flip-flop having the same data input, data output and clock input as the latch.
- Prior to performing each latch modeling step, predetermined modeling conditions are verified as valid including: when the latch is a scannable latch, verifying that the scannable latch is on a cycle boundary; when the latch is a non-pulse latch, verifying that all latches in the fanin of the latch are associated with a different clock phase than the clock phase of the latch; when the latch is a non-pulse latch associated with the first clock phase, verifying that all latches in the fanout of the latch is a non-pulse latch associated with the second clock phase; when the latch is associated with the second clock phase, verifying that all latches in the fanout of the latch are associated with the first clock phase or are pulse latches associated with the second clock phase; and when the latch is a pulse latch, verifying that all latches in the fanin of the latch are associated with the second clock phase.
- The method further includes, for each pulse generator which clocks a latch and generates a pulse derived from the second clock phase, modeling the pulse generator as a buffer connected between a clock input and clock output of the pulse generator.
- The method also includes, for each latch having a clock input which is gated by an enable signal generated by a first output of a combinational circuit, and receiving input data from a second output of the combinational circuit and having and a data output, when the latch is associated with the second clock phase, modeling the latch as a combination of an edge-triggered flip-flop and a multiplexer with the edge-triggered flip-flop having the same data output as the latch and having the second clock phase or the pulse derived from the second clock phase connected to its clock input, the multiplexer having a first and second data input, an input control signal and an output, the first input of the multiplexer being connected to the data output of the edge-triggered flip-flop, the second input of the multiplexer receiving data from the second output of the combinational circuit, the input control signal of the multiplexer receiving the enable signal generated by the second output of the combinational circuit, and the output of the multiplexer being connected to the data input of the edge-triggered flip-flop.
- Except for the verification steps which are performed prior to a modeling operation, not all of the steps must be performed on a particular circuit description. The actual steps which are performed depends on the composition of the circuit.
- As mentioned, the present invention also provides a
computer program product 200 is stored on a computer readable storage medium (not shown). FIG. 9 diagrammatically illustrates major components of the program product. The program product includes a number of modules designed to perform specific tasks in accordance with the present invention. The program product includes an appropriate User Interface module 202 to allow a user to invoke the program and specify various parameters including the name and location of a circuit description to be processed and the name and destination for a modified circuit description. AProgram Control module 204 is responsive to the user interface module for implementing the above described modeling method and procedures of the present invention and for calling or invoking the various modules. A Circuit Description Reading/Writing Module 206 is operable to read a specifiedcircuit description 208 and write out a modifiedcircuit description 210 after modeling of latches and other components. A Latch Locating, Identification andClassification Module 212 is operable to search for and identify latches and pulse generators in the circuit description and classify the latches as pulse latches, non-pulse latches, scannable latches, and so forth, as required to implement the methods of the present invention. A ModelingRule Verification Module 214 is operable to verify that each latch satisfies predetermined conditions or rules prior to modeling of a latch. A Fanin/Fanout Tracing Module 216 is called to interrogate latches in the fanin and fanout of latch inputs and outputs. ASignal Tracing Module 218 is called to trace signal inputs to and identify their respective sources. AModeling Module 220 is called to perform appropriate model transformation of latches and pulse generators. - Thus, the program product200 comprises a computer readable storage medium; a means 204 recorded on the medium for associating each latch in the logic circuit with one of the first and second clock phase including means for tracing backward from the clock input of the latch to a clock source; a means 220 recorded on the medium for modeling a latch as a buffer connected between the data input and output of the latch when the latch is associated with the first clock phase; and for modeling a latch as an edge-triggered flip-flop having the same data input, data output and clock input as the latch when the latch is associated with the second clock phase; for identifying a pulse generator for clocking a latch and generating a pulse derived from the second clock phase and modeling an identified pulse generator as a buffer connected between a clock input and clock output of the pulse generator; for identifying a latch having a clock input gated by an enable signal generated by a first output of a combinational circuit and receiving input data from a second output of the combinational circuit, and which is associated with the second clock phase, and for modeling a latch, identified by the means for identifying, as a combination of an edge-triggered flip-flop and a multiplexer, with the edge-triggered flip-flop having the same data output as the latch and having the second clock phase or the pulse derived from the second clock phase connected to its clock input, and the multiplexer having a first and second data input, an input control signal and an output, the first input of the multiplexer being connected to the data output of the edge-triggered flip-flop, the second input of the multiplexer receiving data from the second output of the combinational circuit, the input control signal of the multiplexer receiving the enable signal generated by the second output of the combinational circuit, and the output of the multiplexer being connected to the data input of the edge-triggered flip-flop; and a means 214 recorded on the medium for verifying that predetermined modeling conditions are valid or satisfied including: means for determining whether the latch is a scannable latch and, if so, verifying that the scannable latch is on a cycle boundary; means for determining whether the latch is a non-pulse latch and, if so, verifying that all latches in its fanin are associated with a different clock phase than its own; means for determining whether the latch is a non-pulse latch associated with the first clock phase and, if so, verifying that all latches in the fanout of the latch is a non-pulse latch associated with the second clock phase; means for determining whether the latch is associated with the second clock phase and, if so, verifying that all latches in the fanout of the latch are associated with the first clock phase or are pulse latches associated with the second clock phase; and means for determining whether the latch is a pulse latch and, if so, verifying that all latches in the fanin of the latch are associated with the second clock phase.
- Although the present invention has been described in detail with regard to preferred embodiments and drawings of the invention, it will be apparent to those skilled in the art that various adaptions, modifications and alterations may be accomplished with departing from the spirit and scope of the present invention. Accordingly, it is to be understood that the accompanying drawings as set forth hereinabove are not intended to limit the breadth of the present invention, which should be inferred only from the following claims and their appropriately construed legal equivalents.
Claims (25)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US09/817,298 US6457161B1 (en) | 2001-03-27 | 2001-03-27 | Method and program product for modeling circuits with latch based design |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US09/817,298 US6457161B1 (en) | 2001-03-27 | 2001-03-27 | Method and program product for modeling circuits with latch based design |
Publications (2)
Publication Number | Publication Date |
---|---|
US6457161B1 US6457161B1 (en) | 2002-09-24 |
US20020143515A1 true US20020143515A1 (en) | 2002-10-03 |
Family
ID=25222759
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US09/817,298 Expired - Lifetime US6457161B1 (en) | 2001-03-27 | 2001-03-27 | Method and program product for modeling circuits with latch based design |
Country Status (1)
Country | Link |
---|---|
US (1) | US6457161B1 (en) |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20060085709A1 (en) * | 2004-10-02 | 2006-04-20 | Kim Chung-Hee | Flip flop circuit & same with scan function |
US20070294071A1 (en) * | 2005-02-24 | 2007-12-20 | International Business Machines Corporation | Hardware accelerator with a single paratition for latches and combinational logic |
US20120032721A1 (en) * | 2010-08-06 | 2012-02-09 | Dolphin Integration | Clock tree for pulsed latches |
US20120079437A1 (en) * | 2006-12-11 | 2012-03-29 | Hung-Chun Li | Circuit design systems for replacing flip-flops with pulsed latches |
WO2012097119A1 (en) * | 2011-01-13 | 2012-07-19 | Oracle International Corporation | Flop type selection for very large scale integrated circuits |
Families Citing this family (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2002312058A (en) * | 2001-04-11 | 2002-10-25 | Mitsubishi Electric Corp | Semiconductor integrated circuit |
US7000162B2 (en) * | 2001-08-08 | 2006-02-14 | International Business Machines Corporation | Integrated circuit phase partitioned power distribution for stress power reduction |
JP2003234643A (en) * | 2002-02-07 | 2003-08-22 | Mitsubishi Electric Corp | Design method for semiconductor integrated circuit device and semiconductor integrated circuit device |
TW561328B (en) * | 2002-03-06 | 2003-11-11 | Via Tech Inc | Static-state timing analysis method of multi-clocks |
JP2004062522A (en) * | 2002-07-29 | 2004-02-26 | Fujitsu Ltd | Circuit verification device, circuit verification program and circuit verification method |
US6911854B2 (en) * | 2003-07-30 | 2005-06-28 | Sun Microsystems, Inc. | Clock skew tolerant clocking scheme |
US20050091622A1 (en) * | 2003-10-28 | 2005-04-28 | Pappu Krishna K. | Method of grouping scan flops based on clock domains for scan testing |
US7707449B2 (en) * | 2006-03-29 | 2010-04-27 | Agere Systems Inc. | Systems and methods for low power multi-rate data paths |
US8132144B2 (en) * | 2009-06-17 | 2012-03-06 | Oracle America, Inc. | Automatic clock-gating insertion and propagation technique |
US8930862B2 (en) * | 2013-03-06 | 2015-01-06 | Nvidia Corporation | System, method, and computer program product for automatic two-phase clocking |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US3783254A (en) | 1972-10-16 | 1974-01-01 | Ibm | Level sensitive logic system |
US5742190A (en) | 1996-06-27 | 1998-04-21 | Intel Corporation | Method and apparatus for clocking latches in a system having both pulse latches and two-phase latches |
US5619511A (en) | 1996-07-30 | 1997-04-08 | Intel Corporation | Dynamic scan circuit and method for using the same |
US5872795A (en) | 1997-11-26 | 1999-02-16 | Intel Corporation | Method and apparatus for scan testing of multi-phase logic |
US6247154B1 (en) * | 1998-03-03 | 2001-06-12 | Rutgers, The State University Of New Jersey | Method and apparatus for combined stuck-at fault and partial-scanned delay-fault built-in self test |
US6247165B1 (en) * | 1998-03-31 | 2001-06-12 | Synopsys, Inc. | System and process of extracting gate-level descriptions from simulation tables for formal verification |
-
2001
- 2001-03-27 US US09/817,298 patent/US6457161B1/en not_active Expired - Lifetime
Cited By (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20060085709A1 (en) * | 2004-10-02 | 2006-04-20 | Kim Chung-Hee | Flip flop circuit & same with scan function |
US7590900B2 (en) * | 2004-10-02 | 2009-09-15 | Samsung Electronics Co., Ltd. | Flip flop circuit & same with scan function |
US20070294071A1 (en) * | 2005-02-24 | 2007-12-20 | International Business Machines Corporation | Hardware accelerator with a single paratition for latches and combinational logic |
US7769577B2 (en) * | 2005-02-24 | 2010-08-03 | International Business Machines Corporation | Hardware accelerator with a single partition for latches and combinational logic |
US20120079437A1 (en) * | 2006-12-11 | 2012-03-29 | Hung-Chun Li | Circuit design systems for replacing flip-flops with pulsed latches |
US8656324B2 (en) * | 2006-12-11 | 2014-02-18 | Cadence Design Systems, Inc. | Circuit design systems for replacing flip-flops with pulsed latches |
US20120032721A1 (en) * | 2010-08-06 | 2012-02-09 | Dolphin Integration | Clock tree for pulsed latches |
US8555227B2 (en) * | 2010-08-06 | 2013-10-08 | Dolphin Integration | Clock tree for pulsed latches |
WO2012097119A1 (en) * | 2011-01-13 | 2012-07-19 | Oracle International Corporation | Flop type selection for very large scale integrated circuits |
Also Published As
Publication number | Publication date |
---|---|
US6457161B1 (en) | 2002-09-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US6885983B1 (en) | Method for automatically searching for functional defects in a description of a circuit | |
US6195776B1 (en) | Method and system for transforming scan-based sequential circuits with multiple skewed capture events into combinational circuits for more efficient automatic test pattern generation | |
US6449755B1 (en) | Instruction signature and primary input and primary output extraction within an IEEE 1149.1 compliance checker | |
US5684808A (en) | System and method for satisfying mutually exclusive gating requirements in automatic test pattern generation systems | |
US6457161B1 (en) | Method and program product for modeling circuits with latch based design | |
US6763489B2 (en) | Method for scan testing of digital circuit, digital circuit for use therewith and program product for incorporating test methodology into circuit description | |
US6311317B1 (en) | Pre-synthesis test point insertion | |
US7506292B2 (en) | Method for clock synchronization validation in integrated circuit design | |
US7613969B2 (en) | Method and system for clock skew independent scan register chains | |
US6012155A (en) | Method and system for performing automatic extraction and compliance checking of an IEEE 1149.1 standard design within a netlist | |
US11500018B2 (en) | Asynchronous circuits and test methods | |
US20040153926A1 (en) | Method and apparatus for testing asynchronous set/reset faults in a scan-based integrated circuit | |
US5331570A (en) | Method for generating test access procedures | |
US6205567B1 (en) | Fault simulation method and apparatus, and storage medium storing fault simulation program | |
US8230283B2 (en) | Method to test hold path faults using functional clocking | |
JP4405599B2 (en) | Generation and use of design shells for integrated circuit design | |
US6269463B1 (en) | Method and system for automatically determining transparency behavior of non-scan cells for combinational automatic test pattern generation | |
US7080333B1 (en) | Verifying logic synthesizers | |
US20100131910A1 (en) | Simulating Scan Tests with Reduced Resources | |
CA2329601A1 (en) | Method and program product for modeling circuits with latch based design | |
JP2002141414A (en) | Device and method for testing integrated circuit | |
Sharma et al. | An automation methodology for amelioration of SpyGlassCDC abstract view generation process | |
Rajsuman | Extending EDA environment from design to test | |
JPH06148293A (en) | Test circuit for logical circuit | |
JP3595713B2 (en) | Testability design support system |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
STCF | Information on status: patent grant |
Free format text: PATENTED CASE |
|
FPAY | Fee payment |
Year of fee payment: 4 |
|
FEPP | Fee payment procedure |
Free format text: PAT HOLDER NO LONGER CLAIMS SMALL ENTITY STATUS, ENTITY STATUS SET TO UNDISCOUNTED (ORIGINAL EVENT CODE: STOL); ENTITY STATUS OF PATENT OWNER: LARGE ENTITY |
|
FEPP | Fee payment procedure |
Free format text: PAYER NUMBER DE-ASSIGNED (ORIGINAL EVENT CODE: RMPN); ENTITY STATUS OF PATENT OWNER: LARGE ENTITY Free format text: PAYOR NUMBER ASSIGNED (ORIGINAL EVENT CODE: ASPN); ENTITY STATUS OF PATENT OWNER: LARGE ENTITY |
|
FPAY | Fee payment |
Year of fee payment: 8 |
|
AS | Assignment |
Owner name: MENTOR GRAPHICS CORPORATION,OREGON Free format text: ASSIGNMENT OF ASSIGNORS INTEREST;ASSIGNOR:LOGICVISION, INC.;REEL/FRAME:024233/0056 Effective date: 20090910 Owner name: MENTOR GRAPHICS CORPORATION, OREGON Free format text: ASSIGNMENT OF ASSIGNORS INTEREST;ASSIGNOR:LOGICVISION, INC.;REEL/FRAME:024233/0056 Effective date: 20090910 |
|
FPAY | Fee payment |
Year of fee payment: 12 |
|
AS | Assignment |
Owner name: SIEMENS INDUSTRY SOFTWARE INC., TEXAS Free format text: MERGER AND CHANGE OF NAME;ASSIGNORS:MENTOR GRAPHICS CORPORATION;SIEMENS INDUSTRY SOFTWARE INC.;REEL/FRAME:057279/0707 Effective date: 20201230 |