![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter
Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction
Each year automotive systems are becoming smarter thanks to their enhancement with sensing, actuation and computation features. The recent advancements in the field of autonomous driving have increased even mo...
-
Chapter
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces
Verification of cyber-physical systems SW often requires simulation of accurate heterogeneous HW models. However, heterogeneous system simulators do not easily allow it and designers must connect multiple simu...
-
Article
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models
The recent trend towards system-level design gives rise to new challenges for reusing existing (RTL) intellectual properties (IPs) and their verification environment in (TLM). While techniques and tools to abs...
-
Chapter
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
The high level of heterogeneity of modern embedded systems forces designers to use different computational models and formalisms, thus making reuse and integration very difficult tasks. Reducing such an hetero...
-
Article
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels
SystemC is the de-facto standard language for system-level modeling, architectural exploration, performance analysis, software development, and functional verification of embedded systems. Nevertheless, it has...
-
Article
Open AccessHIFSuite: Tools for HDL Code Conversion and Manipulation
HIFSuite ia a set of tools and application programming interfaces (APIs) that provide support for modeling and verification of HW/SW systems. The core of HIFSuite is the HDL Intermediate Format (HIF) language ...
-
Chapter
SystemC Simulation of Networked Embedded Systems
The design and simulation of next-generation networked embedded systems are a challenging task since System design choices may affect the network behavior and Network design choices may impact on the System de...