A new approach for constructing logic functions after ECO
説明
Engineering change orders (ECO) are small changes in the design due to last minute bug fixes or spec changes. In this paper, we focus on functional ECO in a logic design and try to construct the new logic function, reusing the existing logic as much as possible. Traditional approaches try to find appropriate locations in the original design that their modifications may result in the new functionality. However, those methods usually fail if additional inputs are required. We propose a new approach based on iterative SAT solving to find the inputs of the function for the given internal nodes, or the primary outputs that are the target of the ECO, out of all the internal signals and primary inputs such that it is guaranteed to be able to correct the functionality without explicitly generating the functions. Our experimental results on ITC99 benchmarks show the efficiency and effectiveness of our approach, specially for hard ECO cases.
収録刊行物
-
- 2017 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
-
2017 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) 1-6, 2017-10-01
IEEE