An engineering change orders design using multiple variable linear programming for VLSI design is presented in this paper. This approach addresses the main issues of resource between spare cells and target cells. We adopt linear programming technique to plan and balance the spare cells and target cells to meet the new specification according to logic transformation. The proposed method solves the related problem of resource for ECO problems and provides a well solution. The scheme shows new concept to manage the spare cells to meet possible target cells for ECO research.
1. Introduction
Engineering change orders (ECO) are important technologies used for changes in integrated circuit (IC) layout and compensate for design problems. Traditionally, when chip shows errors, it often requires new photomasks for all layers. However, photomasks of deep-submicron semiconductor fabrication process are very expensive. In order to save money, ECO technology modifies only a few of the metal layers (metal-mask ECO) to reduce the cost of photomasks for all layers [1].
To perform the ECO, IC designers adopt sprinkling many unused logic gates during IC design flow. When chip is manufactured and shows design errors, IC designers modify the gate-level net-list using the presprinkling unused logic gates. At the same time, the designers track and verify the modification to check formal equivalence after ECO process. The designers must guarantee the revised design matching the revised specification.
How to achieve ECO efficiently? There are some literatures that address this problem and provide related solution. In literature [2], Tan and Jiang describe a typical metal-only ECO flow with four steps that include placement and spare cell distribution, logic difference extraction, metal-only ECO synthesis, and ECO routing [2]. Kuo et al. insert spare cells with constant insertion for engineering change and describe an iterative method to determine feasible mapping solutions for an EC problem [3]. Besides, in order to perform ECO efficiently, literature [4–9] adopt minimal change EC equations automatically. Brand proposed incremental synthesis method [4]. Huang presented a hybrid tool for automatic logic rectification [5]. Lin et al. addressed logic synthesis techniques for engineering change problems [6]. Shinsha et al. performed incremental logic synthesis through gate logic structure identification [7]. Swamy et al. achieved minimal logic resynthesis for engineering change [8]. Watanabe and Brayton presented another kind of incremental synthesis technique for engineering changes [9]. However, few researchers discuss the resource between spare cells and target cells. Therefore, in order to solve the problems, we adopt linear programming technique to plan and balance the spare cells and target cells in this paper. The proposed scheme meets the new specification according to logic transformation and overcomes the related problems of resource for ECO research.
This paper is organized as follows. In Section 2, we address typical ECO design flow. In Section 3, logic transformation is discussed. In Section 4, multiple variables linear programming for VLSI design is presented. In Section 5, we discuss the advantage and disadvantage of the related works. Finally, we conclude this paper in Section 6.
2. Typical ECO Design Flow
Before describing the proposed method, we address a typical manual ECO design flow in Figure 1. IC designers perform the change in register transfer level and verify fixed code matching the new specification at first. Then, old net-list is scanned to search the possible fix points. After the possible fix points are searched, IC designers modify the net-list and check the functionally equivalent between new net-list and new register transfer level [10–14].
A typical ECO design flow.
Next, we describe two-phase ECO design flow in Figure 2. To patch the logics of the modified circuit, we prepare available spare cell list. According to logic function, the modified circuit is mapped to specified logics. After patching logic, equivalent check and timing check are performed to make sure that the new function met the new specification.
Two-phase ECO design flow.
However, there are some important problems that appear during patching logic. Are there enough spare cells and types to satisfy the consumption of patch logic? How to estimate the quantity and logic types of ECO procedure? In order to solve this problem, we proposed an engineering change orders design using multiple variables linear programming for VLSI design in this paper.
3. Logic Transformation
Before discussing the engineering change orders design using multiple variables linear programming, we addressed ECO logic transformation. Figure 3 describes an ECO problem with an equation out = (A+(BC)′)′. Figure 3(b) lists the available spare cells. According to the list, we discover the available spare cells are not enough. In order to solve the problem, we adopt another mapping solution with an equation out = (A′BC) instead of the original equation in Figure 3(c). It requires one AND and one INV gate. The mapping solution in Figure 3(c) requires gates fewer than the available spare cells and is constructed with the available spare cells.
Example of an ECO problem. (a) EC equation: output = (A+(BC)′)′. (b) Spare cells. (c) Mapping: output = (A′BC).
However, most of spare cells only provide basic logical functions that include AND, OR, NOT, NAND, and NOR. Half Adder (HA), Full Adder (FA), And-Or-Inverter (AOI), and Or-And-Inverter (OAI) can provide complex logical functions. We can adopt these logical cells to perform ECO function. For example, AOI22 can be implemented by two NAND and one AND cells in Figure 4. According to the existing resources of spare cells, we can resynthesize the changed function lists.
AOI22 can be implemented by two NAND and one AND cells.
4. Multiple Variables Linear Programming for VLSI Design
Although logic transformation skill makes the ECO technology come true, a chip often does not own enough spare cells to modify the function to meet a new specification. How to allocate limited resource? We should estimate quantity of spare cells and logic transformation rule to perform optimal engineering charge orders.
In Figure 5, it describes the engineering change orders design using multiple variables linear programming for VLSI design and relation of logic transformation. “Logic A” is one kind of spare cells that can be transformed into “Logic a” or “Logic b.” Similarly, “Logic B” can be transformed into “Logic a,” “Logic b,” or “Logic c.” “Logic C” performs ECO function instead of “Logic c” or “Logic d.” Besides, Logic D is transformed into “Logic c” or “Logic d.” Equivalently, “Logic E” is transformed to “Logic d” or “Logic e” to achieve ECO function.
ECO design using multiple variables linear programming for VLSI design and relation of logic transformation.
We assume X1,X2,X3,X4, and X5 are the number of spare cells, Logic A, Logic B, Logic C, Logic D, and Logic E. Let Y1,Y2,Y3,Y4, and Y5 be the desired number of target cells, Logic a, Logic b, Logic c, Logic d, and Logic e.
Besides, Aa is the number of spare cells (Logic A) to be transformed into Logic a and Ab is the number of spare cells (Logic A) to be transformed into Logic b. Similarly, Ba,Bb, and Bc are the number of spare cells (Logic B) to be transformed into Logic a, Logic b, and Logic c. In a similar way, Cc and Cd are the number of spare cells (Logic C) to be transformed into Logic c and Logic d, Dc and Dd are the number of spare cells (Logic D) to be transformed into Logic c and Logic d, and Ed and Ee are the number of spare cells (Logic E) to be transformed into Logic d and Logic e.
Therefore, the restriction rule of the number of spare cells and transformed target cells in Figure 5 is written as follows:
(1)X1=Aa+Ab;X2=Ba+Bb+Bc;X3=Cc+Cd;X4=Dc+Dd;X5=Ed+Ee.
Besides, the restriction rule of the engineering change orders design using multiple variables linear programming in Figure 5 is written as follows:
(2)Aa+Ba≧Y1;(3)Ab+Bb≧Y2;(4)Bc+Cc+Dc≧Y3;(5)Cd+Dd+Ed≧Y4;(6)Ed+Ee≧Y5.
However, spare cells are not often enough; designer should balance the spare cell allocation to meet all requirements of desirable cells.
We assume one case when Bb≦Y2. In order to provide enough spare cells, we should increase the number of Ab to achieve Ab+Bb≧Y2.
Similarly, when Cc+Dc≦Y3, we should increase Bc number to meet Bc+Cc+Dc≧Y3.
Therefore, we define another restriction rule of the engineering change orders design which is written as follows:
(7)Aa=X1-Ab;Ba=X2-Bb-Bc.
According to formulas (2) and (7), we can balance the number of Ab, Bb, and Bc to achieve the target number Y1. Consider the following:
(8)X1-Ab+X2-Bb-Bc≧Y1.
In a similar way, we define the restriction rule of the engineering change orders design which is written as follows:
(9)Bc=X2-Ba-Bb;Cc=X3-Cd;Dc=X4-Dd.
According to formulas (4) and (9), we can balance the number of Bc,Cc, and Dc to achieve the target number Y3. Consider
(10)X2-Ba-Bb+X3-Cd+X4-Dd≧Y3.
We model the engineering change orders problems using multiple variables linear programming. According to the functions, we can understand the engineering change orders relation between supply and requirement. Then, designer can estimate and perform ECO using spare cell efficiently.
5. Discussion
In this Section, we discuss the advantage and disadvantage of the related works. Table 1 shows ECO method comparison. The proposed approach designs a multiple variable linear programming ECO for VLSI design. Our method can predict cell resource accurately using multiple variable linear programming techniques. Traditional ECO is not to predict it well. Besides, our scheme provides a high accurate prediction of patching logic number to balance between spare cells and target cells. It is hard for traditional ECO method to do these. Moreover, we define restriction rule, resource optimization, and solution boundary of ECO problem to increase the efficiency of the proposed ECO method and provide a well solution.
ECO methods comparison.
Method
Traditional ECO
Proposed method
Cell resource prediction
Constraint based
Multiple variables linear programming
Predictive precision of patching logic number
Normal precision
High precision
Balance between spare cells and target cells
Low balance
High balance
Restriction rule
Not define
Define
Resource optimization
Not define
Define
Solution boundary
Not define
Define
6. Conclusion
In this paper, we proposed an engineering change orders design using multiple variables linear programming for VLSI design. The paper discusses typical ECO design flow, logic transformation, and multiple variables linear programming for VLSI design. The presented scheme estimates the resource of spare cells and provides a well solution of ECO problems.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
This work was supported by the National Science Council of Taiwan under Grant nos. NSC 101-2221-E-027-135-MY2 and 102-2622-E-027-008-CC3. The authors gratefully acknowledge the Chip Implementation Center (CIC), for supplying the technology models used in IC design.
RoyJ. A.MarkovI. L.ECO-system: embracing the change in placement200726122173218510.1109/TCAD.2007.9072712-s2.0-36348929500TanC.JiangI. H.Recent research development in metal-only ECOProceedings of the 54th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS '11)August 20111410.1109/MWSCAS.2011.60265342-s2.0-80053632894KuoY. M.ChangY. T.ChangS. C.Marek-SadowskaM.Spare cells with constant insertion for engineering change2009283456460BrandD.DrummA.KunduS.NarainP.Incremental synthesisProceedings of the IEEE/ACM International Conference on Computer-Aided Design19941418HuangS.ChenK.ChengK.AutoFix: A hybrid tool for automatic logic rectification19991891376138410.1109/43.7841282-s2.0-0032595833LinC.ChenK.Marek-SadowskaM.Logic synthesis for engineering change1999182-32822922-s2.0-0033092732ShinshaT.KuboT.SakatayaY.KoshishitaJ.IshiharaK.Incremental logic synthesis through gate logic structure identificationProceedings of the IEEE/ACM Conference on Design AutomationJun 1986391397SwamyG.RajamaniS.LennardC.BraytonR. K.Minimal logic re-synthesis for engineering changeProceedings of the IEEE International Symposium on Circuits and Systems199715961599WatanabeY.BraytonR. K.Incremental synthesis for engineering changesProceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD '91)October 1991Cambridge, Mass, USA40432-s2.0-002626360410.1109/ICCD.1991.139840WangJ.2012Taiwan Cadence Design SystemsFanY. C.TsaoH. W.Watermarking for intellectual property protection200339181316131810.1049/el:200308742-s2.0-0141829122FanY.TsaoH.Boundary scan test scheme for IP core identification via watermarking2005E88-D71397140010.1093/ietisy/e88-d.7.13972-s2.0-26044459497FanY.Testing-based watermarking techniques for intellectual-property identification in SOC design200857346747910.1109/TIM.2007.9116232-s2.0-40549130402FanY.ChiangY.Discrete wavelet transform on color picture interpolation of digital still camera201320139738057MR303400010.1155/2013/738057