294 citations
- RWTH Aachen UniversityDE9 papers
- Technical University of MunichDE8 papers
- AMO (Germany)DE7 papers
- Infineon Technologies (Austria)AT7 papers
- Aston UniversityGB5 papers
- Hospital de Santa CruzPT4 papers
- Infinera (United States)US4 papers
- Technische Universität DresdenDE3 papers
- Télécom ParisFR3 papers
- TU WienAT3 papers
- University College LondonGB3 papers
- University of ViennaAT3 papers
72 papers
System-Level Isolation for Mixed-Criticality RISC-V SoCs: A "World" Reality Check
Luis Cunha, Jose Martins, Manuel Rodriguez +7
As RISC-V adoption accelerates, domains such as automotive, the Internet of Things (IoT), and industrial control are attracting growing attention. These domains are subject to stri…
Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
Hansa Mohanty, Vaisakh Naduvodi Viswambharan, Deepak Narayan Gadde
Formal verification of floating-point arithmetic remains challenging due to non-linear arithmetic behavior and the tight coupling between control and datapath logic. Existing appro…
SOT Enabled 3D Magnetic Field Sensor with Low Offset and High Sensitivity
Sebastian Zeilinger, Johannes Güttinger, Klemens Prügl +10
In this work we demonstrate a spin-orbit torque (SOT) magnetic field sensor, designed as a Ta/CoFeB/MgO structure, with high sensitivity and capable of active offset compensation i…
Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification
Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Vaisakh Naduvodi Viswambharan +4
Modern Integrated Circuits (ICs) are becoming increasingly complex, and so is their development process. Hardware design verification entails a methodical and disciplined approach…
Scalability of Reinforcement Learning Methods for Dispatching in Semiconductor Frontend Fabs: A Comparison of Open-Source Models with Real Industry Datasets
Patrick Stöckermann, Henning Südfeld, Alessandro Immordino +7
Benchmark datasets are crucial for evaluating approaches to scheduling or dispatching in the semiconductor industry during the development and deployment phases. However, commonly…
Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach
Suruchi Kumari, Deepak Narayan Gadde, Aman Kumar
The escalating complexity of System-on-Chip (SoC) designs has created a bottleneck in verification, with traditional techniques struggling to achieve complete coverage. Existing te…