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 …

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 …

Cost-aware patch generation for multi-target function rectification of engineering change orders

HT Zhang, JHR Jiang - Proceedings of the 55th Annual Design …, 2018 - dl.acm.org
The increasing system complexity makes engineering change order (ECO) mostly inevitable
and a common practice in integrated circuit design. Despite extensive research being made …

Masking Internal Node Faults and Trojan Circuits in Logical Circuits

A Matrosova, V Provkin… - 2019 IEEE East-West …, 2019 - ieeexplore.ieee.org
A combinational circuit C is considered. Masking of internal node logical faults with using the
subcircuit that outputs are connected with circuit C internal nodes that are fed by fault nodes …

Deriving Low Power Test Sequences Detecting Robust Testable PDFs

A Matrosova, V Andreeva… - 2019 IEEE East-West …, 2019 - ieeexplore.ieee.org
New approach to deriving low power test sequences that detects robust testable PDFs in
logical circuits is suggested. Decreasing power consumption is provided by decreasing the …

Applying incompletely specified Boolean functions for patch circuit generation

A Matrosova, V Provkin - 2021 IEEE East-West Design & Test …, 2021 - ieeexplore.ieee.org
We consider combination circuit C and some its nodes that faults are detected on the last
stages of circuit fabrication. Besides, injections of Trojan Circuits (TCs) in certain circuit C …

Fast and accurate resource-aware functional ECO patch generation tool

A Stempkovskiy, D Telpukhov… - 2018 Moscow Workshop …, 2018 - ieeexplore.ieee.org
The actual task of patch generation within the framework of the ECO problem is considered
in this paper. The task is solved taking into account the wiring cost function of the gates …

Forming Patch Functions and Combinational Circuit Rectification

A Matrosova, S Chernyshov, G Goshin… - 2018 IEEE East-West …, 2018 - ieeexplore.ieee.org
Increasing chips complexity originates a problem of providing their 100% correct fabrication.
During chip fabrication logical bugs may be detected, changes of specification may appear …

Masking internal node logical faults and trojan circuits injections with using SAT solvers

A Matrosova, V Provkin - 2020 IEEE International Conference …, 2020 - ieeexplore.ieee.org
We consider a combination circuit (the combinational part of a sequential circuit) and some
nodes which faults are detected on the last stages of the circuit fabrication. Besides …

基於後向切割的等效驗證和工程變更指令演算法之最佳化

李友岐 - 2019 - tdr.lib.ntu.edu.tw
在晶片設計的流程中, 如果流程後期需要修改原本的電路設計, 工程變更指令是一個普遍使用的
方法. 我們提出新的演算法以優化基於後向切割的工程變更指令引擎效能 …