Author:
Heidari Iman Mohammad Reza,Raik Jaan,Jenihhin Maksim,Jervan Gert,Ghasempouri Tara
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Software
Reference33 articles.
1. A software control flow checking technique in multi-core processors;Iman;Int. J. Embed. Syst.,2020
2. Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and on-Line Monitoring;Boulé,2008
3. M.R. Heidari Iman, J. Raik, G. Jervan, T. Ghasempouri, IMMizer: An Innovative Cost-Effective Method for Minimizing Assertion Sets, in: 2022 25th Euromicro Conference on Digital System Design (DSD), 2022, pp. 671–678.
4. X.T. Ngo, J. Danger, S. Guilley, Z. Najm, O. Emery, Hardware property checker for run-time Hardware Trojan detection, in: 2015 European Conference on Circuit Theory and Design, ECCTD, 2015, pp. 1–4.
5. S. Katz, O. Grumberg, D. Geist, Have I Written Enough Properties? — A Method of Comparison between Specification and Implementation, in: Proc. of ACM CHARME, 1999, pp. 280–297.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification;2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design (IOLTS);2024-07-03
2. ARTmine: Automatic Association Rule Mining with Temporal Behavior for Hardware Verification;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25
3. ADAssure: Debugging Methodology for Autonomous Driving Control Algorithms;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25