Author:
Kuehlmann A.,Paruthi V.,Krohm F.,Ganai M.K.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
168 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT;2024 IEEE Congress on Evolutionary Computation (CEC);2024-06-30
2. On Accelerating Domain-Specific MC-TS with Knowledge Retention and Efficient Parallelization for Logic Optimization;2024 2nd International Symposium of Electronics Design Automation (ISEDA);2024-05-10
3. RTL-Repair: Fast Symbolic Repair of Hardware Design Code;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27
4. Scalable Logic Rewriting Using Don't Cares;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25
5. Certifying Phase Abstraction;Lecture Notes in Computer Science;2024