Author:
Große Daniel,Drechsler Rolf
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Embedded Graphics Libraries leveraging Virtual Prototypes and Metamorphic Testing;2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC);2024-01-22
2. Hardware and Environment Modeling;Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes;2024
3. Preliminaries;Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes;2024
4. GUI-VP Kit: A RISC-V VP Meets Linux Graphics - Enabling Interactive Graphical Application Development;Proceedings of the Great Lakes Symposium on VLSI 2023;2023-06-05
5. Toward System-Level Assertions for Heterogeneous Systems;Advanced Boolean Techniques;2023