Subject
Computer Graphics and Computer-Aided Design,Hardware and Architecture
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking Leveraged Error Localization for Complex RTL Designs;2022 IEEE 40th International Conference on Computer Design (ICCD);2022-10
2. Partial Order Reduction for Deep Bug Finding in Synchronous Hardware;Tools and Algorithms for the Construction and Analysis of Systems;2020
3. A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip;Electronics;2018-05-26
4. Auxiliary Variables in Temporal Specifications;ACM Transactions on Design Automation of Electronic Systems;2016-01-28
5. Trends in functional verification;Proceedings of the 52nd Annual Design Automation Conference;2015-06-07