Author:
Chang Kai-Hui,Markov Igor L.,Bertacco Valeria
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. FEEP: Functional ECO Synthesis with Efficient Patch Minimization;2023 IEEE 5th International Conference on Artificial Intelligence Circuits and Systems (AICAS);2023-06-11
2. VeriSketch;Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security;2019-11-06
3. Efficient computation of ECO patch functions;Proceedings of the 55th Annual Design Automation Conference;2018-06-24
4. Equivalence Checking;Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology;2016-04-14
5. FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction;Hardware and Software: Verification and Testing;2015