Author:
Chou Chun-Nan,Ho Yen-Sheng,Hsieh Chiao,Huang Chung-Yang (Ric)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification;Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes;2024
2. Anwendung I: Verifizierung;Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme;2023
3. Verifying SystemC TLM peripherals using modern C++ symbolic execution tools;Proceedings of the 59th ACM/IEEE Design Automation Conference;2022-07-10
4. Introduction;Enhanced Virtual Prototyping for Heterogeneous Systems;2022-05-03
5. Formale Verifikation von SystemC-basierten Entwürfen durch symbolische Simulation;Verbessertes virtuelles Prototyping;2022