Author:
Madre J.C.,Coudert O.,Billon J.P.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CirFix: Automated Hardware Repair and its Real-World Applications;IEEE Transactions on Software Engineering;2023-07
2. Model Checking Leveraged Error Localization for Complex RTL Designs;2022 IEEE 40th International Conference on Computer Design (ICCD);2022-10
3. CirFix: automatically repairing defects in hardware design code;Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2022-02-22
4. Comprehensive Search for ECO Rectification Using Symbolic Sampling;Proceedings of the 56th Annual Design Automation Conference 2019;2019-06-02
5. Exact diagnosis using boolean satisfiability;Proceedings of the 35th International Conference on Computer-Aided Design;2016-11-07