Skip to content

A Cross-Level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors

Unknown authors
· 0 citations · 31 references

TL;DR

A design approach to enhance the RTL model of a given digital component for the integration in smart systems, and a methodology to verify the added features at system-level is proposed.

View source

Similar papers

Open access Sep 2026

Embedded Control Architecture with Supervisory Monitoring Functions for a Class AB Audio Amplifier

The present study introduces the development and implementation of a control and monitoring system that relies on software designed for a 2 × 50 W Class AB amplifier. The primary objective of this research is to integrate the hardware platform with the designed software, ensuring proper functionality and continuously m...

Bogdan-Flavius Komlosi, D. Bonciog, Valentin Maranescu et al. · 0 citations
Review

Adaptive Real-Time Systems —From Specification to Execution—

FAA+RTS is a novel solution as it integrates previously-isolated methods for dealing with multiple constraints into a single framework, presenting a single overview of all possible trade-offs to the application designer, resulting in a robust and reliable system.

L. Miedema, D. Sapra, P. Novobilsky et al. · 0 citations
Open access Aug 2026

Development of a method for optimal computation distribution in digital signal processing algorithms for heterogeneous systems-on-chip

The object of research is the process of hardware/software co-design and computational load distribution for digital signal processing (DSP) algorithms in heterogeneous systems-on-chip (SoC). The problem solved in this work is the lack of effective methods for distributing computational functions at the early design st...

Olexandr Shkil, Dariia Rakhlis, O. Filippenko et al. · 0 citations
Review Open access Sep 2026

FPGA-based Control Devices for Real-time Systems: A Critical Review of Design Trends, Challenges and Research Priorities

Field-programmable gate arrays (FPGAs) have moved from peripheral glue logic to the computational core of demanding real-time control devices in power conversion, electrical drives, instrumentation, robotics and scientific facilities. The device class has also changed: contemporary parts combine programmable fabric wit...

Naqaa Luqman Mohammed · 0 citations
Open access Aug 2026

Composite Microservice Architecture of the Digital Twin

The goal of this study is to develop a conceptual composite architecture for an industrial digital twin, in which complex subsystems are viewed as highly interconnected and loosely coupled service components of a higher-order system.

E. Koltsova, Maksim Pysin, A. Lobanov et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.