Efficient computation of ECO patch functions

AQ Dao, NZ Lee, LC Chen, MPH Lin… - Proceedings of the 55th …, 2018 - dl.acm.org
Engineering Change Orders (ECO) modify a synthesized netlist after its specification has
changed. ECO is divided into two major tasks: finding target signals whose functions should …

Engineering change order for combinational and sequential design rectification

JHR Jiang, VN Kravets, NZ Lee - 2020 Design, Automation & …, 2020 - ieeexplore.ieee.org
Engineering change order (ECO) becomes a crucial element in VLSI design flow to rectify
function or fix non-functional requirements in late design stages. Even though commercial …

Interpolation-based incremental ECO synthesis for multi-error logic rectification

KF Tang, CA Wu, PK Huang, CY Huang - Proceedings of the 48th …, 2011 - dl.acm.org
To cope with last-minute design bugs and specification changes, engineering change order
(ECO) is usually performed toward the end of the design process. This paper proposes an …

Match and replace: A functional ECO engine for multierror circuit rectification

SL Huang, WH Lin, PK Huang… - IEEE Transactions on …, 2013 - ieeexplore.ieee.org
Functional engineering change order (ECO) is a popular technique for rectifying design
errors after synthesis and placement stages. We present a new approach to generating the …

ICCAD-2017 CAD contest in resource-aware patch generation

CY Huang, CJ Hsu, CA Wu… - 2017 IEEE/ACM …, 2017 - ieeexplore.ieee.org
With a functional Engineering Change Order (ECO) problem, the quality of patch plays an
important role in the performance of the patched circuit. In this contest, contestants need to …

Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction

KF Tang, PK Huang, CN Chou… - … Design, Automation & …, 2012 - ieeexplore.ieee.org
For a design with multiple functional errors, multiple patches are usually needed to correct
the design. Previous works on logic rectification are limited to either single-fix or partial-fix …

SAT-sweeping enhanced for logic synthesis

L Amarú, F Marranghello, E Testa… - 2020 57th ACM/IEEE …, 2020 - ieeexplore.ieee.org
SAT-sweeping is a powerful method for simplifying logic networks. It consists of merging
gates that are proven equivalent (up to complementation) by running simulation and SAT …

Resource-aware functional ECO patch generation

AC Cheng, IHR Jiang, JY Jou - … & Test in Europe Conference & …, 2016 - ieeexplore.ieee.org
Functional Engineering Change Order (ECO) is necessary for logic rectification at late
design stages. Existing works mainly focus on identifying a minimal logic difference between …

Comprehensive search for ECO rectification using symbolic sampling

VN Kravets, NZ Lee, JHR Jiang - Proceedings of the 56th Annual Design …, 2019 - dl.acm.org
The task of an engineering change order (ECO) is to update the current implementation of a
design according to its revised specification with minimum modification. Prior studies show …

2019 CAD contest: Logic regression on high dimensional boolean space

CY Huang, CAR Wu, TY Lee, CJJ Hsu… - 2019 IEEE/ACM …, 2019 - ieeexplore.ieee.org
Using sampling patterns is always a powerful method to save efforts for the problems with
large input space since it can quickly help identify cases' properties. The meaning behind …