WoeiTzy Jong
ABSTRACT
In this paper, an automatic functional Engineering Change Order (ECO) problem is proposed. The contestants need to implement programs to identify the logic difference of the old netlist and the newly synthesized netlist, which agrees with new specification. How the logic difference can be presented as patch and how we measure the patch quality is explained. The program that can find the minimal patch wins.
- J. C. Madre, O. Coudert, and J. P. Billon, "Automating the diagnosis and the rectification of digital errors with PRIAM", Proc. IEEE/ACM Int. Conf. Computer-Aided Design, pp. 30--33 1989.Google Scholar
- H.-T. Liaw, J.-H. Tsaih, and C.-H. Lin, "Efficient automatic diagnosis of digital circuits", Proc. IEEE/ACM Int. Conf. Computer-Aided Design, pp. 464--467 1990.Google Scholar
- P.-Y. Chung and I. Hajj, "Diagnosis and correction of multiple logic design errors in digital circuits," IEEE Trans. on VLSI Systems, vol. 5, no. 2, pp. 233--237, June 1997. Google ScholarDigital Library
- Eric Lehman, Y. Watanabe, Joel Grodstein and H. Harkness, "Logic Decomposition During Technology Mapping", IEEE, Transactions on Computer-Aided Design of Integrated Circuits and Systems, pp. 813--834, vol. 16, no. 8, August 1997. Google ScholarDigital Library
- S.-Y. Huang, K.-C. Chen and K.-T. Cheng, "AutoFix: A Hybrid Tool for Automatic Logic Rectification," IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, pp. 1376--1384, vol. 18, no. 9, pp. 1376--1384, Sept. 1999. Google ScholarDigital Library
- Bo-Han Wu, Chun-Ju Yang, Chung-Yang Huang, Jie-Hong Roland Jiang: A robust functional ECO engine by SAT proof minimization and interpolation techniques. Prof. IEEE/ACM International Conference on Computer Aided Design (ICCAD), Nov. 2010. Google ScholarDigital Library
Index Terms
- ICCAD-2012 CAD contest in finding the minimal logic difference for functional ECO and benchmark suite
Recommendations
ICCAD-2012 CAD contest in design hierarchy aware routability-driven placement and benchmark suite
ICCAD '12: Proceedings of the International Conference on Computer-Aided DesignThe impact of considering design hierarchy during physical synthesis remains a fairly under-researched area. This is especially true for large-scale circuit placement. This is in large part due to the non-availability of realistic public designs with ...
ICCAD-2013 CAD contest in placement finishing and benchmark suite
ICCAD '13: Proceedings of the International Conference on Computer-Aided DesignAt advanced technology nodes, highly-optimized placements need careful post-processing to further reduce interconnect length or optimize resource distribution, and therefore, high-performance legalization and detailed placement steps are essential for ...
Overview of the 2017 CAD contest at ICCAD
ICCAD '17: Proceedings of the 36th International Conference on Computer-Aided DesignThe CAD Contest at ICCAD[1], [2], [3], [4], [5], [6] is a challenging, multi-month R&D competition, focusing on modern and practical problems at the forefront of Electronic Design Automation (EDA). In its sixth year, the 2017 CAD Contest at ICCAD is ...
Comments