English
Related papers

Related papers: Accelerating SystemVerilog UVM Based VIP to Improv…

200 papers

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

Verification and validation (V&V) of autonomous vehicles (AVs) typically requires exhaustive testing across a variety of operating environments and driving scenarios including rare, extreme, or hazardous situations that might be difficult…

Robotics · Computer Science 2026-01-12 Tanmay Vilas Samak , Chinmay Vilas Samak , Giovanni Martino , Pranav Nair , Venkat Krovi

Autonomous underwater vehicles (AUVs) are essential for various applications, including oceanographic surveys, underwater mapping, and infrastructure inspections. Accurate and robust navigation are critical to completing these tasks. To…

Robotics · Computer Science 2025-12-16 Yair Stolero , Itzik Klein

We introduce spatially grounded contextual image generation, a controllable image generation task that reframes the conditioning paradigm. Instead of supplying a reference image and a global text prompt through two separate encoders, one…

Computer Vision and Pattern Recognition · Computer Science 2026-05-22 Jiayun Wang , Yu Wang , Weijie Gan , Zhenting Wang , Wei Wei

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

Visual prompting (VP) is an emerging parameter-efficient fine-tuning approach to adapting pre-trained vision models to solve various downstream image-classification tasks. However, there has hitherto been little systematic study of the…

Computer Vision and Pattern Recognition · Computer Science 2024-03-12 Hsi-Ai Tsao , Lei Hsiung , Pin-Yu Chen , Sijia Liu , Tsung-Yi Ho

RISC-V provides a flexible and scalable platform for applications ranging from embedded devices to high-performance computing clusters. Particularly, its RISC-V Vector Extension (RVV) becomes of interest for the acceleration of AI…

Machine Learning · Computer Science 2025-08-20 Federico Nicolas Peccia , Frederik Haxel , Oliver Bringmann

Existing image perception methods based on VLMs generally follow a paradigm wherein models extract and analyze image content based on user-provided textual task prompts. However, such methods face limitations when applied to UAV imagery,…

Computer Vision and Pattern Recognition · Computer Science 2025-12-09 Mingning Guo , Mengwei Wu , Shaoxian Li , Haifeng Li , Chao Tao

As Vision Language Models (VLMs) are deployed across safety-critical applications, understanding and controlling their behavioral patterns has become increasingly important. Existing behavioral control methods face significant limitations:…

Computer Vision and Pattern Recognition · Computer Science 2025-10-01 Ravikumar Balakrishnan , Mansi Phute

Cross-validation (CV) is one of the main tools for performance estimation and parameter tuning in machine learning. The general recipe for computing CV estimate is to run a learning algorithm separately for each CV fold, a computationally…

Machine Learning · Statistics 2015-07-02 Pooria Joulani , András György , Csaba Szepesvári

The integration of advanced video codecs into the streaming pipeline is growing in response to the increasing demand for high quality video content. However, the significant computational demand for advanced codecs like Versatile Video…

Multimedia · Computer Science 2023-12-14 Yiqun Liu , Hadi Amirpour , Mohsen Abdoli , Christian Timmerer , Thomas Guionnet

Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provide adequate validation of key properties such as safety,…

Software Engineering · Computer Science 2022-08-11 Maike Schwammberger , Christopher Harper , Gleifer Vaz Alves , Greg Chance , Tony Pipe , Kerstin Eder

The classical simulation of quantum algorithms is a crucial tool for circuit development, testing, and validation. Although acceleration using GPUs significantly reduces simulation time, most high-performance simulators rely on…

AMD Xilinx's new Versal Adaptive Compute Acceleration Platform (ACAP) is an FPGA architecture combining reconfigurable fabric with other on-chip hardened compute resources. AI engines are one of these and, by operating in a highly…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-01-31 Nick Brown

Large Vision-Language Models (VLMs) have been extended to understand both images and videos. Visual token compression is leveraged to reduce the considerable token length of visual inputs. To meet the needs of different tasks, existing…

Computer Vision and Pattern Recognition · Computer Science 2024-12-13 Chenyu Yang , Xuan Dong , Xizhou Zhu , Weijie Su , Jiahao Wang , Hao Tian , Zhe Chen , Wenhai Wang , Lewei Lu , Jifeng Dai

The Barcelona Zetascale Lab (BZL) project aims to strengthening Europe's capacity in the design and manufacture of RISC-V based high-performance computing chips. In this context, we present a holistic pre-silicon verification and validation…

Graphics Processing Units (GPUs) leverage massive parallelism and large memory bandwidth to support high-performance computing applications, such as multimedia rendering, crypto-mining, deep learning, and natural language processing. These…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-11-11 Nurlan Nazaraliyev , Elaheh Sadredini , Nael Abu-Ghazaleh

The development of an open and free RISC-V architecture is of great interest for a wide range of areas, including high-performance computing and numerical simulation in mathematics, physics, chemistry and other problem domains. In this…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-21 V. D. Volokitin , E. P. Vasiliev , E. A. Kozinov , V. D. Kustikova , A. V. Liniov , Y. A. Rodimkov , A. V. Sysoyev , I. B. Meyerov

The advent of immersive Virtual Reality applications has transformed various domains, yet their integration with advanced artificial intelligence technologies like Visual Language Models remains underexplored. This study introduces a…

Robotics · Computer Science 2024-08-06 Mikhail Konenkov , Artem Lykov , Daria Trinitatova , Dzmitry Tsetserukou

Speculative decoding is a widely adopted technique for accelerating inference in large language models (LLMs), yet its application to vision-language models (VLMs) remains underexplored, with existing methods achieving only modest speedups…

Computer Vision and Pattern Recognition · Computer Science 2025-10-24 Jialiang Kang , Han Shu , Wenshuo Li , Yingjie Zhai , Xinghao Chen