Author:
Herdt Vladimir,Große Daniel,Drechsler Rolf
Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Relation Coverage: A New Paradigm for Hardware/Software Testing;2024 IEEE European Test Symposium (ETS);2024-05-20
2. Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences;2024 27th International Symposium on Design & Diagnostics of Electronic Circuits & Systems (DDECS);2024-04-03
3. Verifying Embedded Graphics Libraries leveraging Virtual Prototypes and Metamorphic Testing;2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC);2024-01-22
4. Deductive Verification of Parameterized Embedded Systems Modeled in SystemC;Lecture Notes in Computer Science;2023-12-30
5. Safe Integration of Learning in SystemC using Timed Contracts and Model Checking;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21