Programmable logic integrated circuit, semiconductor device, and characterization method

Abstract

An object of the present invention is to provide a method for effectively performing characterization for circuit verification by static timing analysis, of a programmable logic integrated circuit including a crossbar switch including a resistance-variable element, and a logic circuit logically configured with the crossbar switch, wherein: the programmable logic integrated circuit is divided into a plurality of leaf cells including a plurality of load circuits including a part of the crossbar switch, and a power supply element input to the crossbar switch; the leaf cell is divided into delay paths each including a base leaf cell and a correction leaf cell; and circuit verification is performed based on a delay information library in which a delay time for the base leaf cell and a correction delay for the correction leaf cell are integrated into a delay time for the leaf cell.

Claims

1. A programmable logic integrated circuit comprising: a crossbar switch including a resistance-variable element; and a logic circuit logically configured with the crossbar switch, wherein the programmable logic integrated circuit is divided into a plurality of leaf cells including a plurality of load circuits including a part of the crossbar switch, and a power supply element input to the crossbar switch, the leaf cell is divided into delay paths each including a base leaf cell and a correction leaf cell, and circuit verification is performed based on a delay information library in which a delay time for the base leaf cell and a correction delay for the correction leaf cell are integrated into a delay time for the leaf cell.

2. The programmable logic integrated circuit according to claim 1, wherein, in the circuit verification, static timing analysis is performed.

3. The programmable logic integrated circuit according to claim 1, wherein the power supply element includes a buffer.

4. The programmable logic integrated circuit according to claim 1, wherein the load circuit includes a load resistance and a load capacitance of the resistance-variable element.

5. The programmable logic integrated circuit according to claim 1, wherein the base leaf cell includes a delay time for the leaf cell to be connected to the power supply element.

6. The programmable logic integrated circuit according to claim 1, wherein the correction leaf cell includes a correction delay for the leaf cell to be connected to the logic circuit.

7. The programmable logic integrated circuit according to claim 1, wherein the logic circuit includes a look-up table, and the crossbar switch changes a connection with the look-up table.

8. A semiconductor device comprising the programmable logic integrated circuit according to claim 1.

9. A programmable logic integrated circuit comprising a plurality of sets of a crossbar switch including a resistance-variable element, and a logic circuit logically configured with the crossbar switch, wherein the programmable logic integrated circuit is divided into a plurality of leaf cells including a power supply element provided between an output line of the crossbar switch and an input line of the crossbar switch on a subsequent stage, and a load circuit including a part of the crossbar switch on a subsequent stage, the leaf cell is divided into delay paths each including a base leaf cell and a correction leaf cell, and circuit verification is performed based on a delay information library in which a delay time for the base leaf cell and a correction delay for the correction leaf cell are integrated into a delay time for the leaf cell.

10. A characterization method for circuit verification of a programmable logic integrated circuit including a crossbar switch including a resistance-variable element, and a logic circuit logically configured with the crossbar switch, the characterization method comprising: dividing the programmable logic integrated circuit into a plurality of leaf cells including a plurality of load circuits including a part of the crossbar switch, and a power supply element input to the crossbar switch; dividing the leaf cell into delay paths each including a base leaf cell and a correction leaf cell; and integrating a delay time for the base leaf cell and a correction delay for the correction leaf cell into a delay time for the leaf cell.

11. The characterization method according to claim 10, in which in the circuit verification, static timing analysis is performed.

12. The characterization method according to claim 10, in which the power supply element includes a buffer.

13. The characterization method according to claim 10, in which the load circuit includes a load resistance and a load capacitance of the resistance-variable element.

14. The characterization method according to claim 10, in which the base leaf cell includes a delay time for the leaf cell to be connected to the power supply element.

15. The characterization method according to claim 10, in which the correction leaf cell includes a correction delay for the leaf cell to be connected to the logic circuit.

16. The characterization method according to claim 10, in which the logic circuit includes a look-up table, and the crossbar switch changes a connection with the look-up table.

Description

BRIEF DESCRIPTION OF DRAWINGS

(1) FIG. 1 is a block diagram illustrating a configuration of a programmable logic integrated circuit according to a first example embodiment of the present invention;

(2) FIG. 2 is a block diagram illustrating a configuration of a semiconductor device according to the first example embodiment of the present invention;

(3) FIG. 3 is a diagram illustrating a configuration of a programmable logic integrated circuit according to a second example embodiment of the present invention;

(4) FIG. 4 is a diagram illustrating a connection wire between programmable logic integrated circuits according to the second example embodiment of the present invention;

(5) FIG. 5A is a diagram illustrating a configuration of a resistance-variable element of the programmable logic integrated circuit according to the second example embodiment of the present invention;

(6) FIG. 5B is a table illustrating an operation method for switching the resistance-variable element of the programmable logic integrated circuit according to the second example embodiment of the present invention;

(7) FIG. 6 is a diagram illustrating a configuration of a leaf cell including a crossbar switch of the programmable logic integrated circuit according to the second example embodiment of the present invention;

(8) FIG. 7 is a diagram illustrating an input waveform and an output waveform of leaf cells including the crossbar switch of the programmable logic integrated circuit according to the second example embodiment of the present invention;

(9) FIG. 8 is a graph illustrating a fan-out number dependence of a propagation delay time of leaf cells including the crossbar switch of the programmable logic integrated circuit according to the second example embodiment of the present invention;

(10) FIG. 9 illustrates graphs each showing an input waveform and an output waveform of leaf cells including the crossbar switch of the programmable logic integrated circuit according to the second example embodiment of the present invention;

(11) FIG. 10 is a diagram illustrating a connection example 1 of leaf cells including the crossbar switch of the programmable logic integrated circuit according to the second example embodiment of the present invention;

(12) FIG. 11 is a diagram illustrating delay paths for static timing analysis in the connection example 1 of leaf cells including the crossbar switch of the programmable logic integrated circuit according to the second example embodiment of the present invention;

(13) FIG. 12 is a diagram illustrating a connection example 2 of leaf cells including the crossbar switch of the programmable logic integrated circuit according to the second example embodiment of the present invention; and

(14) FIG. 13 is a diagram illustrating a delay path for static timing analysis in the connection example 2 of leaf cells including the crossbar switch of the programmable logic integrated circuit according to the second example embodiment of the present invention.

DESCRIPTION OF EMBODIMENTS

(15) Example embodiments of the present invention will be described in detail below with reference to the drawings. In the example embodiments described below, technically preferable limitations are made for carrying out the present invention, but the scope of the invention is not limited to the following example embodiments.

First Example Embodiment

(16) FIG. 1 is a block diagram illustrating a configuration of a programmable logic integrated circuit according to a first example embodiment of the present invention. A programmable logic integrated circuit 1 according to this example embodiment includes a crossbar switch 2 including a resistance-variable element, and a logic circuit 3 which is logically configured with the crossbar switch 2, wherein the programmable logic integrated circuit 1 is divided into a plurality of leaf cells including a plurality of load circuits including a part of the crossbar switch 2, and a power supply element input to the crossbar switch 2, the leaf cell is divided into delay paths each including a base leaf cell and a correction leaf cell, and circuit verification is performed based on a delay information library in which a delay time for the base leaf cell and a correction delay for the correction leaf cell are integrated into a delay time for the leaf cell.

(17) FIG. 2 is a block diagram illustrating a configuration of a semiconductor device according to the first example embodiment of the present invention. A semiconductor device 4 according to this example embodiment includes the programmable logic integrated circuit 1 including the crossbar switch 2 including the resistance-variable element, and the logic circuit 3 logically configured with the crossbar switch 2. The programmable logic integrated circuit 1 is divided into a plurality of leaf cells including a plurality of load circuits including a part of the crossbar switch 2, and a power supply element input to the crossbar switch 2, the leaf cell is divided into delay paths each including a base leaf cell and a correction leaf cell, and circuit verification is performed based on a delay information library in which a delay time for the base leaf cell and a correction delay for the correction leaf cell are integrated into a delay time for the leaf cell.

(18) A characterization method according to this example embodiment is a characterization method for circuit verification of the programmable logic integrated circuit 1 including the cross switch 2 including the resistance-variable element, and the logic circuit 3 logically configured with the crossbar switch 2, the characterization method including: dividing the programmable logic integrated circuit 1 into a plurality of leaf cells including a plurality of load circuits including a part of the crossbar switch 2, and the power supply element input to the crossbar switch 2; dividing the leaf cells into delay paths each including a base leaf cell and a correction leaf cell; and integrating a delay time for the base leaf cell and a correction delay for the correction leaf cell into a delay time for the leaf cells.

(19) According to this example embodiment, it is possible to provide a method for effectively performing characterization for circuit verification by static timing analysis of a programmable logic integrated circuit including a crossbar switch using a resistance-variable element.

Second Example Embodiment

(20) FIG. 3 is a block diagram illustrating a programmable logic integrated circuit according to a second example embodiment of the present invention. A programmable logic integrated circuit 10 according to this example embodiment includes a crossbar switch block 20 including a resistance-variable element, and a logic block 30 logically configured with the crossbar switch block 20.

(21) The logic block 30 (configurable logic block, which is abbreviated as CLB) includes two 4-input LUTs 31, two DFFs 32, and three 2-input multiplexers (MUXs) 33. The crossbar switch block 20 includes an input multiplexer (IMUX) 22 for determining an input to the LUTs 31, and a switch multiplexer (SMUX) 21 for determining an input/output wire with an adjacent programmable logic integrated circuit.

(22) FIG. 4 is a diagram illustrating connection wires between programmable logic integrated circuits according to this example embodiment. Numbers in the drawing each represent the number of wires. A wire with no number represents one wire as illustrated in the drawing.

(23) The number of output wires of the IMUX in the crossbar switch block 20 is eight in total because the output wires are connected to two 4-input LUTs. The SMUX includes three outputs for each of CLBs adjacent to each other vertically and horizontally, and includes 12 (34=12) output wires.

(24) At an output from the SMUX to the adjacent CLB, a buffer (abbreviated as BUF) and a transmission gate (abbreviated as TMG) are provided. The output from the SMUX is input to the adjacent CLB of a subsequent stage via the BUF, and the BUF is treated as a power supply element for the subsequent-stage CLB. The TMG is disposed to prevent a write voltage from being applied to CLBs other than a selected CLB when data are written into the resistance-variable element, and the TMG is constantly in an ON state during operation of the logic circuit.

(25) A segment includes two wiring resources, and 27 input lines in total of 24 (234=24) data lines, two output lines of an LUT in the CLB, and a ground line (omitted in FIG. 3). The IMUX and the SMUX are connected with a data line. The crossbar switch block 20 having a configuration as illustrated in FIGS. 3 and 4 includes 27 inputs20 outputs.

(26) At each intersection of the crossbar switch block 20, a resistance-variable element (switch) is disposed. Referring to FIG. 3, in the case of connecting an input line IN00 and an output line OUT00, a resistance-variable element R(00,00) is brought into a low-resistance state (ON state), and 26 resistance-variable elements from R(00,01) to R(00,26) other than the resistance-variable element R(00,00) on the output line OUT00 are brought into a high-resistance state (OFF state).

(27) To prevent two or more signals from colliding with each other, for example, only one resistance-variable element out of 27 resistance-variable elements connected to the output line OUT00 is allowed to be turned on. On the other hand, all resistance-variable elements connected to the input line IN00 can be turned on in principle. At this time, the fan-out (abbreviated as F/O) number of the input line IN00 is 20 at maximum. The F/O number of the entire crossbar switch block is also 20 at maximum, and thus the number of resistance-variable elements that can be simultaneously turned on is 20 at maximum out of 2720 resistance-variable elements.

(28) When one output line is not connected to any of the input lines, the output line is in a floating state and serves as a signal noise generation source. Accordingly, the output line is connected to the ground line by a resistance-variable element. The number of resistance-variable elements to be simultaneously turned on is constantly 20 out of 2720 resistance-variable elements, including the resistance-variable element for connecting the output line to the ground line.

(29) FIG. 5A is a diagram illustrating a structure of a resistance-variable element. A resistance-variable element 40 includes a resistance-variable layer 41, and a first electrode 42 and a second electrode 43 which are provided on an opposed surface in contact with the resistance-variable layer 41. As the resistance-variable element 40, a ReRAM (Resistance Random Access Memory) using a transition metal oxide as the resistance-variable layer 41, NanoBridge (registered trademark) using an ionic conductor as the resistance-variable layer 41, or the like may be used.

(30) When an ionic conductor is used as the resistance-variable layer 41, metallic ions are supplied from the first electrode 41 to the resistance-variable layer 41, and metallic ions are not supplied from the second electrode 43. For example, metal including copper (Cu) can be used as the first electrode 41, and ruthenium (Ru) can be used as the second electrode 43. The resistance-variable element 40 is a metal precipitation type switch using a movement of metallic ions in an ionic conductor and an electrochemical reaction as the resistance-variable layer 41.

(31) FIG. 5B illustrates a method for switching a resistance value of the resistance-variable element 40. As illustrated in FIG. 5B, the resistance-variable element 40 changes the polarity of a voltage to be applied to the resistance-variable layer 41 between the first electrode 42 and the second electrode 43, thereby making it possible to change a resistance value of the resistance-variable layer 41. A resistance ratio between the low-resistance state (ON state) and the high-resistance state (OFF state) of the resistance-variable layer 41 can be set to, for example, the fifth power of 10, or more. Thus, the resistance-variable element 40 functions as a switch for electrically connecting or disconnecting a wire. Note that as the switch of the resistance-variable element, a switch having a complementary type structure composed of a pair of resistance-variable elements and one transistor can also be used.

(32) To perform static timing analysis of the programmable logic integrated circuit 10, a minimum circuit unit for characterization, which is a series of operations for constructing a delay information library including information such as a delay time for each unit circuit is referred to as a leaf cell. The leaf cell is an analysis circuit for obtaining a delay time or the like for each unit circuit. The leaf cell includes a load capacitance, a load resistance, and a power supply element for driving the load capacitance and the load resistance. The power supply element is a complementary metal oxide semiconductor (CMOS) circuit, and one leaf cell can be defined for one CMOS circuit.

(33) First, load circuits (a wire, a resistance-variable element, a transmission gate or a pass transistor, and an input unit of a subsequent-stage CMOS circuit) which are driven by a CMOS circuit present in the programmable logic integrated circuit 10 are classified into leaf cells. Each leaf cell is characterized by SPICE simulation, and propagation delay information and dynamic power are obtained.

(34) The crossbar switch block 20 illustrated in FIG. 3 includes no power supply when the crossbar switch block operates as a logic circuit, and thus the crossbar switch block can be regarded as a load. The power supply element of the leaf cell including the crossbar switch block 20 is an output BUF of the SMUX. Specifically, the leaf cell having a configuration in which the output BUF is used as the power supply element, and two TMGs, wires in each cell, and two crossbar switch blocks of segments 1 and 2 are used as loads can be employed.

(35) FIG. 6 is a diagram illustrating a configuration of a leaf cell including a part of the crossbar switch block of the programmable logic integrated circuit according to this example embodiment. The resistance-variable element is represented by an equivalent circuit having a configuration in which a resistance and a capacitance are connected in parallel. In each leaf cell, the output BUF of the SMUX is used as the power supply element. Further, RC in FIG. 6 represents a resistance (R) and a capacitance (C) of the wire.

(36) Referring to FIG. 6, the ON-state resistance-variable element R(01,00) indicates a wire generated when the resistance-variable element located at the 0th output wire in the crossbar switch block in the segment 1 is turned on. The subsequent-stage circuit functions as the BUF when the resistance-variable element in the SMUX is turned on, and the subsequent-stage circuit functions as the LUT when the resistance-variable element in the IMUX is turned on.

(37) One terminal A is provided as an input.

(38) The following four types of 40 outputs are provided: a terminal Seg1 (n=0 . . . 11) connected to the subsequent-stage circuit BUF via the ON-state resistance-variable element within the SMUX in the segment 1; a terminal IM1 (n=12 . . . 19) connected to the subsequent-stage circuit LUT via the resistance-variable element in the ON state within the IMUX in the segment 1; a terminal Seg2 (n=0 . . . 11) connected to the subsequent-stage circuit BUF via the ON-state resistance-variable element within the SMUX in the segment 2; and a terminal IM2 (n=12 . . . 19) connected to the subsequent-stage circuit LUT via the ON-state resistance-variable element within the IMUX in the segment 2. In other words, the leaf cell has the number of inputs of one and the number of outputs of four.

(39) Types of the load of the leaf cell including the crossbar switch block that are necessary for a delay information library for static timing analysis are as follows. In other words, the load capacitance and the load resistance of each leaf cell vary depending on a resistance state of the resistance-variable element of the crossbar switch block. First, the load capacitance and the load resistance vary depending on a combination of the F/O number of the switch block in the segment 1 and the F/O number of the switch block in the segment 2. Second, the load capacitance varies depending on whether the subsequent-stage circuit is the BUF or the LUT. In addition, an input capacitance of the 4-input LUT may vary in each of the four inputs.

(40) When all case classifications as described above are performed, in the segment 1, there are 12 ways for the terminal Seg1 (n=0 . . . 11) to be connected to the subsequent-stage circuit BUF via the SMUX, and there is one way for connecting to the SMUX of Seg2 without passing through the SMUX on a Seg1 side. Therefore, there are 13 ways. Further, in the case of connecting to the subsequent-stage circuit LUT via the IMUX, there can be three ways, i.e., a case where two 4-input (S0, S1, S2, S3) LUTs are both input to, for example, S0, a case where one of the two LUTs is input, and a case where none of the two LUTs are input. Therefore, there are 3333 cases. In the segment 2, there are 12 ways for the terminal Seg1 (n=0 . . . 11) to be connected to the subsequent-stage circuit BUF via the SMUX. Further, in the case of connecting to the subsequent-stage circuit LUT via the IMUX, there are 3333 ways, like in the segment 1. Accordingly, there are 133.sup.4123.sup.4=1,023,516 ways in total. According to the technique of this example embodiment, the number of ways can be drastically reduced.

(41) First, assume that a base leaf cell is used as a leaf cell when the subsequent-stage circuit illustrated in FIG. 6 is the BUF. Output terminals of the base leaf cell correspond to Seg1 and Seg2 illustrated in FIG. 6, and are referred to as BASE_Seg1 and BASE_Seg2, respectively. In a leaf cell which has the same F/O number as that of the base leaf cell and whose subsequent-stage circuit in a part of the segment 1 is the LUT, output terminals IM1 and IM2 appear in addition to the output terminals Seg1 and Seg2. To distinguish the leaf cell from the base leaf cell, the output terminals are referred to as LUT_Seg1, LUT_Seg2, IM1, and IM2, respectively.

(42) FIG. 7 is a diagram illustrating an input waveform and an output waveform of a leaf cell. When the input load capacitance of the LUT is larger than that of the BUF, output waveforms of BASE_Seg1 and IM1 with respect to an input waveform A are obtained as illustrated in FIG. 7. When propagation delay times for BASE_Seg1 and IM1 are referred to as D.sub.base.sub._.sub.seg1 and D.sub.IM1, respectively, and dD.sub.IM1 is defined as illustrated in FIG. 7, the following relation is established.
D.sub.IM1=D.sub.base.sub._.sub.seg1+dD.sub.IM1
where dD.sub.IM1 is referred to as a correction delay.

(43) FIG. 8 illustrates an F/O number dependence of each of propagation delay times D.sub.base.sub._.sub.seg1 and D.sub.IM1 of a leaf cell. The delay time D.sub.base.sub._.sub.seg1 for the base leaf cell and the delay time D.sub.IM1 for the output terminal whose subsequent-stage circuit is the LUT show a linear dependence with respect to the F/O number, and the slopes substantially match. Specifically, a correction delay dD.sub.IM1, which is a difference between the propagation delay times D.sub.base.sub._.sub.seg1 and D.sub.IM1 appearing at BASE_Seg1 and IM1, respectively, is constant independently of the F/O number. Accordingly, dD.sub.IM1 is independent of the F/O number and is dependent on the load capacitance of the subsequent-stage circuit.

(44) FIG. 9 illustrates graphs each showing an input waveform (A) of a leaf cell, and output waveforms of BASE_Seg1, LUT_Seg1, BASE_Seg2, LUT_Seg2, and IM2. As illustrated in FIG. 9, when the propagation delay times of BASE_Seg1, LUT_Seg1, BASE_Seg2, LUT_Seg2, and IM2 are defined as D.sub.base.sub._.sub.seg1, D.sub.LUT.sub._.sub.seg1, D.sub.base.sub._.sub.seg2, D.sub.LUT.sub._.sub.seg2, and D.sub.IM2, respectively, and correction delays are defined as dD.sub.seg1, dD.sub.seg2, and dD.sub.IM2, respectively, the following relation is established.
D.sub.LUT.sub._.sub.seg1=D.sub.base.sub._.sub.seg1+dD.sub.seg1
D.sub.LUT.sub._.sub.seg2=D.sub.base.sub._.sub.seg2+dD.sub.seg2
D.sub.IM2=D.sub.base.sub._.sub.seg2+dD.sub.IM2

(45) Like dD.sub.IM1 described above, the correction delays dD.sub.seg1, dD.sub.seg2, and dD.sub.IM2 are independent of the F/O number and are dependent only on the load capacitance of the subsequent-stage circuit.

(46) Specifically, assuming that the input terminal is represented by A and the output terminals are represented by LUT_Seg1, IM1, LUT_Seg2, and IM2, respectively, and leaf cells including propagation delay times (correction delays) dD.sub.seg1, dD.sub.IM1, dD.sub.seg2, and dD.sub.IM2 with respect to the respective output terminals are added to the base leaf cell as correction leaf cells, so that the leaf cell of the switch block including the LUT in the subsequent-stage circuit can be represented by a sum of a base leaf cell and a correction leaf cell.

(47) In the crossbar switch block 20 illustrated in FIG. 3, there are 2120=420 combinations of the F/O number of the segment 1 and the F/O number of the segment 2. Accordingly, there are 420 base leaf cells with all subsequent-stage circuits being BUFs. There can be three ways of connection to the input terminals of the LUT of the subsequent-stage circuit, i.e., zero, one, and two connections for one input. Since each LUT has four inputs, there are 3333=81 ways. Accordingly, there are 81 correction leaf cells in total. In other words, delay information about the switch block can be represented in a million ways with 420+81=501 leaf cells.

(48) FIG. 10 is a diagram illustrating a connection example 1 of leaf cells including the crossbar switch block 20 of the programmable logic integrated circuit 10. In the connection example 1, the input terminal is represented by A and the output terminals are represented by Seg1(0), Seg1(3), and Seg2(0), respectively. The F/O number of the ON-state resistance-variable element in the segment 1 is 2 (F/O_SEG1), and the F/O number of the ON-state resistance-variable element in the segment 2 is 1 (F/O_SEG2). Accordingly, the base leaf cell has F/O (F/O_SEG1, F/O_SEG2)=F/O(2,1).

(49) FIG. 11 is a diagram illustrating delay paths for static timing analysis in the connection example 1. In the connection example 1, all the subsequent-stage circuits are BUFs, and thus no correction leaf cell is added.

(50) FIG. 12 is a diagram illustrating a connection example 2 of leaf cells including the crossbar switch block 20 of the programmable logic integrated circuit 10. In the connection example 2, the input terminal is represented by A and the output terminals are represented by Seg1(0), IM1(19), and Seg2(0), respectively. Like in FIG. 10, the base leaf cell has F/O(2,1).

(51) FIG. 13 is a diagram illustrating delay paths for static timing analysis in the connection example 1. The correction leaf cell when the output of the switch block is input to the input S0 of one LUT on the segment 1 side is defined as LUT_seg1_S0. In each delay path of the connection example 2, the correction leaf cell LUT_seg1_S0 is added to the base leaf cell.

(52) Note that both the base leaf cell and the correction leaf cell can include power information. When the power of the base leaf cell is represented by P_BASE and the power of the correction leaf cell is represented by P_LUT, the power of the crossover switch block calculated in the static timing analysis can be expressed by the following formula.
P=P_BASE+P_LUT

(53) A programmable reconfigurable logic circuit is composed of a repetition of a set of a logic block and a crossbar switch block. Accordingly, a static timing analysis tool used for the circuit verification enables delay calculation with a high accuracy, without taking into consideration a slope of an input signal. Therefore, a wiring load may be loaded into each leaf cell and a library including one piece of propagation delay information or power information for each leaf cell may be created.

(54) Meanwhile, a case where the library including delay information for executing the static timing analysis is a two-dimensional matrix is described below. When the library including delay information is two-dimensional, delay information is obtained in the form of a two-dimensional matrix for a slope of an input signal waveform and an output load capacitance.

(55) There are types of leaf cells including the switch block that correspond to combinations of the F/O number (F/O_SEG1) of the switch block in the segment 1 and the F/O number (F/O_SEG2) of the switch block in the segment 2, in which the load capacitance and the load resistance within each leaf cell vary. In this case, there are 21 (F/O_SEG1=0 to 20)20 (F/O_SEG2=0 to 19)=420 combinations of F/O.

(56) Assume that, in each leaf cell, a simulation is performed by adding the load capacitance of the subsequent-stage circuit to the slope of each input waveform, and, for example, 55 pieces of delay information are created. Specifically, the slope of the input waveform and the load capacitance of the subsequent-stage circuit are set at intervals of 5 in the range from a maximum value to a minimum value. In the calculation of the static timing analysis, a slope of an input waveform and a load capacitance that are not present in the matrix are complemented with near values appropriate to the values set at intervals of 5. In this case, there is a need to obtain 42025=10,500 pieces of delay information.

(57) Even when two-dimensional delay information is used, the following relation of the sum of the base leaf cell and the correction leaf cell as illustrated in FIGS. 7 and 9 is maintained. There are 420 base leaf cells in total in the leaf cell with all subsequent-stage circuits being BUFs. Since the number of types of output load capacitance is one, the propagation delay information is a one-dimensional matrix only for the slope of the input signal.

(58) There are three ways for the correction leaf cell to be connected to the input terminals of the LUT of the subsequent-stage circuit, i.e., zero, one, and two connections for one input. Since each LUT has four inputs, there are 3333=81 ways. As illustrated in FIG. 8, the correction delays dD.sub.seg1, dD.sub.IM1, dD.sub.seg2, and dD.sub.IM2 are independent of the slope of the input signal waveform. Accordingly, the correction leaf cell is delay information that does not require a matrix.

(59) Therefore, even when the library including the two-dimensional delay information is used, there are only 420+81 leaf cells according to this example embodiment, and at intervals of 5, the delay information can be reduced to 4205+81=2181 pieces of delay information.

(60) As described above, according to this example embodiment, it is possible to provide a method for effectively performing characterization for circuit verification by static timing analysis of a programmable logic integrated circuit including a crossbar switch using a resistance-variable element.

(61) The present invention is not limited to the example embodiments and examples described above. Various modifications can be made within the scope of the invention described in the scope of claims, and the modifications are also included within the scope of the present invention.

(62) The whole or part of the example embodiments described above can be also described as, but not limited to, the following supplementary notes.

(63) (Supplementary Note 1)

(64) A programmable logic integrated circuit including:

(65) a crossbar switch including a resistance-variable element; and

(66) a logic circuit logically configured with the crossbar switch, in which

(67) the programmable logic integrated circuit is divided into a plurality of leaf cells including a plurality of load circuits including a part of the crossbar switch, and a power supply element input to the crossbar switch,

(68) the leaf cell is divided into delay paths each including a base leaf cell and a correction leaf cell, and

(69) circuit verification is performed based on a delay information library in which a delay time for the base leaf cell and a correction delay for the correction leaf cell are integrated into a delay time for the leaf cell.

(70) (Supplementary Note 2)

(71) The programmable logic integrated circuit according to Supplementary note 1, in which in the circuit verification, static timing analysis is performed.

(72) (Supplementary Note 3)

(73) The programmable logic integrated circuit according to Supplementary note 1 or 2, in which the power supply element includes a buffer.

(74) (Supplementary Note 4)

(75) The programmable logic integrated circuit according to any one of Supplementary notes 1 to 3, in which the load circuit includes a load resistance and a load capacitance of the resistance-variable element.

(76) (Supplementary Note 5)

(77) The programmable logic integrated circuit according to any one of Supplementary notes 1 to 4, in which the base leaf cell includes a delay time for the leaf cell to be connected to the power supply element.

(78) (Supplementary Note 6)

(79) The programmable logic integrated circuit according to any one of Supplementary notes 1 to 6, in which the correction leaf cell includes a correction delay for the leaf cell to be connected to the logic circuit.

(80) (Supplementary Note 7)

(81) The programmable logic integrated circuit according to any one of Supplementary notes 1 to 6, in which the logic circuit includes a look-up table, and the crossbar switch changes a connection with the look-up table.

(82) (Supplementary Note 8)

(83) A programmable logic integrated circuit including a plurality of sets of a crossbar switch including a resistance-variable element, and a logic circuit logically configured with the crossbar switch, in which

(84) the programmable logic integrated circuit is divided into a plurality of leaf cells including a power supply element provided between an output line of the crossbar switch and an input line of the crossbar switch of a subsequent stage, and a load circuit including a part of the crossbar switch of a subsequent stage,

(85) the leaf cell is divided into delay paths each including a base leaf cell and a correction leaf cell, and

(86) circuit verification is performed based on a delay information library in which a delay time for the base leaf cell and a correction delay for the correction leaf cell are integrated into a delay time for the leaf cell.

(87) (Supplementary Note 9)

(88) A semiconductor device including the programmable logic integrated circuit according to any one of Supplementary notes 1 to 8.

(89) (Supplementary Note 10)

(90) A characterization method for circuit verification of a programmable logic integrated circuit including a crossbar switch including a resistance-variable element, and a logic circuit logically configured with the crossbar switch, the characterization method including:

(91) dividing the programmable logic integrated circuit into a plurality of leaf cells including a plurality of load circuits including a part of the crossbar switch, and a power supply element input to the crossbar switch;

(92) dividing the leaf cell into delay paths each including a base leaf cell and a correction leaf cell; and

(93) integrating a delay time for the base leaf cell and a correction delay for the correction leaf cell into a delay time for the leaf cell.

(94) (Supplementary Note 11)

(95) The characterization method according to Supplementary note 10, in which in the circuit verification, static timing analysis is performed.

(96) (Supplementary Note 12)

(97) The characterization method according to Supplementary note 10 or 11, in which the power supply element includes a buffer.

(98) (Supplementary Note 13)

(99) The characterization method according to any one of Supplementary notes 10 to 12, in which the load circuit includes a load resistance and a load capacitance of the resistance-variable element.

(100) (Supplementary Note 14)

(101) The characterization method according to any one of Supplementary notes 10 to 13, in which the base leaf cell includes a delay time for the leaf cell to be connected to the power supply element.

(102) (Supplementary Note 15)

(103) The characterization method according to any one of Supplementary notes 10 to 14, in which the correction leaf cell includes a correction delay for the leaf cell to be connected to the logic circuit.

(104) (Supplementary Note 16)

(105) The characterization method according to any one of Supplementary notes 10 to 15, in which the logic circuit includes a look-up table, and the crossbar switch changes a connection with the look-up table.

(106) (Supplementary Note 17)

(107) A characterization method for circuit verification of a programmable logic integrated circuit including a plurality of sets of a crossbar switch including a resistance-variable element, and a logic circuit logically configured with the crossbar switch, the characterization method, including:

(108) dividing the programmable logic integrated circuit into a plurality of leaf cells including a power supply element provided between an output line of the crossbar switch and an input line of the crossbar switch of a subsequent stage, and a load circuit including a part of the crossbar switch of a subsequent stage;

(109) dividing the leaf cell into delay paths including a base leaf cell and a correction leaf cell; and

(110) integrating a delay time for the base leaf cell and a correction delay for the correction leaf cell into a delay time for the leaf cell.

(111) This application is based upon and claims the benefit of priority from Japanese patent application No. 2015-172470, filed on Sep. 2, 2015, the disclosure of which is incorporated herein in its entirety by reference.

REFERENCE SIGNS LIST

(112) 1, 10 Programmable logic integrated circuit 2 Crossbar switch 3 Logic circuit 4 Semiconductor device 20 Crossbar switch block 21 SMUX 22 IMUX 30 Logic block 31 LUT 32 DFF 33 MUX 40 Resistance-variable element 41 Resistance-variable layer 42 First electrode 43 Second electrode