English
Related papers

Related papers: An Integrated UVM-TLM Co-Simulation Framework for …

200 papers

This work presents a SystemC-TLM based simulator for a RISC-V microcontroller. This simulator is focused on simplicity and easy expandable of a RISC-V. It is built around a full RISC-V instruction set simulator that supports full RISC-V ISA…

Hardware Architecture · Computer Science 2020-10-21 Màrius Montón

The increasing complexity of hardware and software requires advanced development and test methodologies for modern systems on chips. This paper presents a novel approach to ARM-on-ARM virtualization within SystemC-based simulators using…

Software Engineering · Computer Science 2025-06-25 Nils Bosbach , Rebecca Pelke , Niko Zurstraßen , Jan Henrik Weinstock , Lukas Jünger , Rainer Leupers

SystemC-based Virtual Prototypes (VPs) at the Electronic System Level (ESL) are increasingly adopted by the semiconductor industry. The main reason is that VPs are much earlier available, and their simulation is orders of magnitude faster…

Hardware Architecture · Computer Science 2022-02-17 Mehran Goli , Rolf Drechsler

In this work, we introduce a platform for register-transfer level (RTL) architecture design space exploration. The platform is an open-source, parameterized, synthesizable set of RTL modules for designing RISC-V based single and multi-core…

Hardware Architecture · Computer Science 2019-08-28 Sahan Bandara , Alan Ehret , Donato Kava , Michel A. Kinsy

Confidential computing is a key technology for isolating high-assurance applications from the large amounts of untrusted code typical in modern systems. Existing confidential computing systems cannot be certified for use in critical…

Cryptography and Security · Computer Science 2023-11-02 Wojciech Ozga , Guerney D. H. Hunt , Michael V. Le , Elaine R. Palmer , Avraham Shinnar

Functional verification is a critical bottleneck in integrated circuit development, with CPU verification being especially time-intensive and labour-consuming. Industrial practice relies on differential testing for CPU verification, yet…

Hardware Architecture · Computer Science 2025-11-11 Jialin Sun , Yuchen Hu , Dean You , Yushu Du , Hui Wang , Xinwei Fang , Weiwei Shan , Nan Guan , Zhe Jiang

Register Transfer Level (RTL) simulation is widely used in design space exploration, verification, debugging, and preliminary performance evaluation for hardware design. Among various RTL simulation approaches, software simulation is the…

Hardware Architecture · Computer Science 2025-08-05 Lu Chen , Dingyi Zhao , Zihao Yu , Ninghui Sun , Yungang Bao

RISC-V CPUs leverage the RVV (RISC-V Vector) extension to accelerate data-parallel workloads. In addition to arithmetic operations, RVV includes powerful permutation instructions that enable flexible element rearrangement within vector…

Hardware Architecture · Computer Science 2025-06-02 Vasileios Titopoulos , George Alexakis , Chrysostomos Nicopoulos , Giorgos Dimitrakopoulos

This paper presents pragmatic solutions for verifying complex mathematical algorithms implemented in hardware in an efficient and effective manner. Maximizing leverage of a known-answer-test strategy, based on predefined data scenarios…

Artificial Intelligence · Computer Science 2024-12-30 Mark Litterick , Aleksandar Ivankovic , Bojan Arsov , Aman Kumar

Intrinsic functions are specialized functions provided by the compiler that efficiently operate on architecture-specific hardware, allowing programmers to write optimized code in a high-level language that fully exploits hardware features.…

Software Engineering · Computer Science 2025-11-25 Liutong Han , Chu Kang , Mingjie Xing , Yanjun Wu

The RISC-V Vector Extension~(RVV) is a cornerstone for supporting compute throughout in scientific and machine learning workloads. Yet compiler support and performance monitoring on real RVV~1.0 hardware are still evolving. In this work, we…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-25 Ruimin Shi , Maya Gokhale , Pei-Hung Lin , Xavier Teruel , Ivy Peng

Architectural simulators hold a vital role in RISC-V research, providing a crucial platform for workload evaluation without the need for costly physical prototypes. They serve as a dynamic environment for exploring innovative architectural…

Hardware Architecture · Computer Science 2024-05-27 Debjyoti Bhattacharjee , Anmol , Tommaso Marinelli , Karan Pathak , Peter Kourzanov

Software-hardware co-design solutions for decimal computation can provide several Pareto points to development of embedded systems in terms of hardware cost and performance. This paper demonstrates how to accurately evaluate such co-design…

Hardware Architecture · Computer Science 2020-03-12 Riaz-ul-haque Mian , Michihiro Shintani , Michiko Inoue

Architectural simulators help in better understanding the behaviour of existing architectures and the design of new architectures. Virtualization has regained importance and this has put a pressing demand for the simulation of virtualized…

Hardware Architecture · Computer Science 2022-06-02 Swapneel C. Mhatre , Priya Chandran

Decentralized inference provides a scalable and resilient paradigm for serving large language models (LLMs), enabling fragmented global resource utilization and reducing reliance on centralized providers. However, in a permissionless…

Cryptography and Security · Computer Science 2026-01-23 Ke Wang , Zishuo Zhao , Xinyuan Song , Zelin Li , Libin Xia , Chris Tong , Bill Shi , Wenjie Qu , Eric Yang , Lynn Ai

Maritime port inspection plays a critical role in ensuring safety, regulatory compliance, and operational efficiency in complex maritime environments. However, existing inspection methods often rely on manual operations and conventional…

Robotics · Computer Science 2026-01-21 Muhayy Ud Din , Waseem Akram , Ahsan B. Bakht , Irfan Hussain

The System on Chip design industry relies heavily on functional verification to ensure that the designs are bug-free. As design engineers are coming up with increasingly dense chips with much functionality, the functional verification field…

Other Computer Science · Computer Science 2018-10-01 Lakhan Shiva Kamireddy , Lakhan Saiteja Kamireddy

In today's technology-driven world, early-stage software development and testing are crucial. Virtual Platforms (VPs) have become indispensable tools for this purpose as they serve as a platform to execute and debug the unmodified target…

Software Engineering · Computer Science 2025-05-22 Nils Bosbach , Rebecca Pelke , Niko Zurstraßen , Jan Henrik Weinstock , Lukas Jünger , Rainer Leupers

As the complexity of the scan algorithm is dependent on the number of design registers, large SoC scan designs can no longer be verified in RTL simulation unless partitioned into smaller sub-blocks. This paper proposes a methodology to…

Other Computer Science · Computer Science 2014-09-12 Bill Jason Tomas , Yingtao Jiang , Mei Yang

The RISC-V "V" extension introduces vector processing to the RISC-V architecture. Unlike most SIMD extensions, it supports long vectors which can result in significant improvement of multiple applications. In this paper, we present our…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-11-10 Sonia Rani Gupta , Nikela Papadopoulou , Miquel Pericàs