Efficient computation of ECO patch functions

Published in DAC, 2018

Ai Quoc Dao, Nian-Ze Lee, Li-Cheng Chen, Mark Po-Hung Lin, Jie-Hong R. Jiang, Alan Mishchenko, and Robert K. Brayton. In Proceedings of the Annual Design Automation Conference, DAC, pages 51:1-51:6. ACM, 2018. https://doi.org/10.1145/3195970.3196039