1. Efficient computation of ECO patch functions;dao;Proceedings of Design Automation Conference (DAC),2018
2. Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction;tang;Proceedings of Design Automation and Test in Europe Conference and Exhibition (DATE),2012
3. High-Level Engineering Change Through Programmable Datapath and SMT Solvers
4. Cost-aware patch generation for multi-target function rectification of engineering change orders;zhang;Proceedings of Design Automation Conference (DAC),2018
5. A neutral netlist of 10 combinational benchmark circuits and a target translator in Fortran;brglez;Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS),1985