Author:
Suelflow Andre,Fey Goerschwin,Bloem Roderick,Drechsler Rolf
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Counterexample classification;Software and Systems Modeling;2023-07-26
2. Model Checking Leveraged Error Localization for Complex RTL Designs;2022 IEEE 40th International Conference on Computer Design (ICCD);2022-10
3. Supercharging Plant Configurations Using Z3;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2021
4. SAT-based Silicon Debug of Electrical Errors under Restricted Observability Enhancement;Journal of Electronic Testing;2019-10
5. Post-Silicon Fault Localization with Satisfiability Solvers;Post-Silicon Validation and Debug;2018-09-02