Author:
Cimatti A.,Narasamdya I.,Roveri M.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Deductive Verification of Parameterized Embedded Systems Modeled in SystemC;Lecture Notes in Computer Science;2023-12-30
2. 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
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. Register-Transfer-Ebene Korrespondenzanalyse;Verbessertes virtuelles Prototyping;2022