Author:
Sohofi Hassan,Navabi Zainalabedin
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Anwendung I: Verifizierung;Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme;2023
2. IDLD: Instantaneous Detection of Leakage and Duplication of Identifiers used for Register Renaming;2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO);2022-10
3. Automated UVM Based Verification of Device Life Cycle Management IP;Advances in Intelligent Systems and Computing;2019-10-19
4. Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes;2019 22nd Euromicro Conference on Digital System Design (DSD);2019-08
5. Computing for Diagnosis of HDL Code;Cyber Physical Computing for IoT-driven Services;2018