Author:
Hassan Zyad,Bradley Aaron R.,Somenzi Fabio
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction;2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC);2024-01-22
2. r-map: Relating Implementation and Specification in Hardware Refinement Checking;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-12
3. NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking;2023 ACM/IEEE 5th Workshop on Machine Learning for CAD (MLCAD);2023-09-10
4. Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-04
5. Incremental Property Directed Reachability;Formal Methods and Software Engineering;2023