DocumentCode :
1407513
Title :
Toward Automated ECOs in FPGAs
Author :
Ling, Andrew C. ; Brown, Stephen D. ; Safarpour, Sean ; Zhu, Jianwen
Author_Institution :
CAD Team, Toronto, ON, Canada
Volume :
30
Issue :
1
fYear :
2011
Firstpage :
18
Lastpage :
30
Abstract :
Engineering change orders (ECOs), which are used to apply late-stage specification changes and bug fixes, have become an important part of the field-programmable gate array design flow. ECOs are beneficial since they are applied directly to a placed-and-routed netlist which preserves most of the engineering effort invested previously. Unfortunately, designers often apply ECOs in a manual fashion which may have an unpredictable impact on the design´s final correctness and end costs. As a solution, this paper introduces an automated method to tackle the ECO problem. This paper uses a novel resynthesis technique which can automatically update the functionality of a circuit by leveraging the existing logic within the design, thereby removing the inefficient manual effort required by a designer. The technique presented in this paper is robust enough to handle a wide range of changes. Furthermore, the technique can successfully make late-stage functional changes while minimally perturbing the placed-and-routed netlist: something that is necessary for ECOs. Also, this technique does this with a minimal impact on the circuit performance where on average over 90% of the placement and routing wires remain unchanged.
Keywords :
circuit CAD; field programmable gate arrays; integrated circuit design; logic CAD; FPGA CAD; FPGA design; automated ECO; bug fixes; circuit functionality; engineering change orders; field-programmable gate array design flow; late-stage specification changes; logic design; placed-and-routed netlist; resynthesis technique; Biological system modeling; Circuit optimization; Design automation; Field programmable gate arrays; Integrated circuit modeling; Logic gates; Table lookup; Boolean satisfiability; field-programmable gate array (FPGA); logic design—automatic synthesis; verification;
fLanguage :
English
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
Publisher :
ieee
ISSN :
0278-0070
Type :
jour
DOI :
10.1109/TCAD.2010.2067833
Filename :
5671540
Link To Document :
بازگشت