• 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