Functional ECO automation challenges and solutions

Late Register Transfer language (RTL) changes also called as Engineering Change Orders (ECOs) pose a big challenge to the design community. This is due to the reason that the ECO changes are to be made directly in the final converged netlist which differs significantly with the RTL due to optimization and convergence. Since the ECOs are done very close to tape out, these are time critical missions and any inefficiency in implementation will directly impact the cost of the product. This is the motivation behind the automation solutions that exist today for solving the functional ECO problem. A successful ECO is not only measured based on the functional equivalence with the new RTL but also on the quality of the ECO changes made. If the ECO tool inserts a lot of new logic in the converged netlist resulting in routing congestion and timing issues, it may not be possible to implement the ECO though the final netlist passes Functional Verification (FV). Thus there are a few criteria to successfully implement a functional ECO. This paper discusses the ECO challenges and reviews the criteria for a successful functional ECO solution. It also consolidates the ideas that will help to solve the issues that happen during a functional ECO.

[1]  Koichiro Ishihara,et al.  Incremental Logic Synthesis through Gate Logic Structure Identification , 1986, 23rd ACM/IEEE Design Automation Conference.

[2]  T. Kubo,et al.  Incremental Logic Synthesis through Gate Logic Structure Identification , 1986, DAC 1986.

[3]  Sofia Cassel,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 2012 .

[4]  Shih-Chieh Chang,et al.  Design and design automation of rectification logic for engineering change , 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

[5]  Randal E. Bryant,et al.  Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.

[6]  M. Marek-Sadowska,et al.  Logic synthesis for engineering change , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[7]  Jason Cong,et al.  Incremental CAD , 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).