Author:
Andraus Zaher S.,Liffiton Mark H.,Sakallah Karem A.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Andraus, Z., Liffiton, M., Sakallah, K.: Refinement strategies for verification methods based on datapath abstraction. In: Proc. of Asia and South Pacific Design Automation Conference, pp. 19–24 (2006)
2. Andraus, Z., Liffiton, M., Sakallah, K.: CEGAR-based formal hardware verification: a case study. Technical Report CSE-TR-531-07, University of Michigan (2007)
3. Andraus, Z., Sakallah, K.: Automatic abstraction and verification of Verilog models. In: Proc. of Design Automation Conference, pp. 218–223 (2004)
4. Lecture Notes in Computer Science;R. Bryant,2002
5. Lecture Notes in Computer Science;J. Burch,1994
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Chips Design at RTL Level;Theoretical Aspects of Software Engineering;2023
2. A formal proof and simple explanation of the QuickXplain algorithm;Artificial Intelligence Review;2022-04-07
3. Supercharging Plant Configurations Using Z3;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2021
4. Core-guided method for constraint-based multi-objective combinatorial optimization;Applied Intelligence;2020-11-21
5. What’s Decidable About Program Verification Modulo Axioms?;Tools and Algorithms for the Construction and Analysis of Systems;2020