中文
相关论文

相关论文: On the Simulation of Hypervisor Instructions for A…

200 篇论文

Virtualization promises significant benefits in security, efficiency, dependability, and cost. Achieving these benefits depends upon the reliability of the underlying virtual machine monitors (hypervisors). This paper describes an ongoing…

计算机科学中的逻辑 · 计算机科学 2011-10-24 Mike Dahlin , Ryan Johnson , Robert Bellarmine Krug , Michael McCoyd , William Young

The last few years have seen the emergence of IoT processors: ultra-low power systems-on-chips (SoCs) combining lightweight and flexible micro-controller units (MCUs), often based on open-ISA RISC-V cores, with application-specific…

系统与控制 · 电气工程与系统科学 2022-01-21 Nazareno Bruschi , Germain Haugou , Giuseppe Tagliavini , Francesco Conti , Luca Benini , Davide Rossi

Many computer organization and computer architecture classes have recently started adopting the RISC-V architecture as an alternative to proprietary RISC ISAs and architectures. Emulators are a common teaching tool used to introduce…

编程语言 · 计算机科学 2018-12-12 Mihailo Isakov , Michel A. Kinsy

Design of next generation computer systems should be supported by simulation infrastructure that must achieve a few contradictory goals such as fast execution time, high accuracy, and enough flexibility to allow comparison between large…

分布式、并行与集群计算 · 计算机科学 2018-04-02 Ori Chalak , Cai Weiguang , Li Wei , Fang Lei , Zheng Libing , Wang Jintang , Wu Zuguang , Gu Xiongli , Wang Haibin , Avi Mendelson

In this paper we present the development of Acceleratable UVCs from standard UVCs in SystemVerilog and their usage in UVM based Verification Environment of Image Signal Processing designs to increase run time performance. This paper covers…

其他计算机科学 · 计算机科学 2014-01-16 Abhishek Jain , Piyush Kumar Gupta , Dr. Hima Gupta , Sachish Dhar

To adhere to the stringent time and budget requirements of construction projects, contractors are utilizing prefabricated construction methods to expedite the construction process. Prefabricated construction methods require an adequate…

人工智能 · 计算机科学 2020-03-17 Gilmarie O'Neill , Matthew Ball , Yujing Liu , Mojtaba Noghabaei , Kevin Han

Many types of formal verification establish properties about abstract high-level program representations, leaving a large gap to programs at runtime. Although gaps can sometimes be narrowed by techniques such as refinement, a verified…

计算机科学中的逻辑 · 计算机科学 2025-03-19 Karl Palmskog , Andreas Lindner , Scott Constable , Roberto Guanciale , Hamed Nemati

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…

硬件体系结构 · 计算机科学 2024-05-27 Debjyoti Bhattacharjee , Anmol , Tommaso Marinelli , Karan Pathak , Peter Kourzanov

Rapid progress in the development of information technology has led to a significant increase in the number and complexity of cyber threats. Traditional methods of cybersecurity training based on theoretical knowledge do not provide a…

密码学与安全 · 计算机科学 2025-01-03 Dmytro Tymoshchuk , Vasyl Yatskiv , Vitaliy Tymoshchuk , Nataliya Yatskiv

We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance. System models may represent an existing physical part - for…

软件工程 · 计算机科学 2014-10-07 Jan Olaf Blech , Maria Spichkova , Ian Peake , Heinz Schmidt

Virtualization is a key technology used in a wide range of applications, from cloud computing to embedded systems. Over the last few years, mainstream computer architectures were extended with hardware virtualization support, giving rise to…

硬件体系结构 · 计算机科学 2023-08-07 Bruno Sá , Luca Valente , José Martins , Davide Rossi , Luca Benini , Sandro Pinto

A time-efficient and comprehensive verification is a fundamental part of the design process for modern computing platforms, and it becomes ever more important and critical to optimize as the latter get ever more complex. SupeRFIVe is a…

硬件体系结构 · 计算机科学 2025-01-30 Andrea Galimberti , Marco Vitali , Sebastiano Vittoria , Davide Zoni

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…

硬件体系结构 · 计算机科学 2025-06-02 Vasileios Titopoulos , George Alexakis , Chrysostomos Nicopoulos , Giorgos Dimitrakopoulos

The construction of effective Recommender Systems (RS) is a complex process, mainly due to the nature of RSs which involves large scale software-systems and human interactions. Iterative development processes require deep understanding of a…

机器学习 · 计算机科学 2021-09-15 Lucas Bernardi , Sakshi Batra , Cintia Alicia Bruscantini

This paper presents a novel, non-standard set of vector instruction types for exploring custom SIMD instructions in a softcore. The new types allow simultaneous access to a relatively high number of operands, reducing the instruction count…

硬件体系结构 · 计算机科学 2021-06-15 Philippos Papaphilippou , Paul H. J. Kelly , Wayne Luk

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…

硬件体系结构 · 计算机科学 2022-02-17 Mehran Goli , Rolf Drechsler

Vector architectures lack tools for research. Consider the gem5 simulator, which is possibly the leading platform for computer-system architecture research. Unfortunately, gem5 does not have an available distribution that includes a…

The unprecedented growth in data demand from emerging applications has turned virtual memory (VM) into a major performance bottleneck. Researchers explore new hardware/OS co-designs to optimize VM across diverse applications and systems. To…

Simulators are a critical component of modern robotics research. Strategies for both perception and decision making can be studied in simulation first before deployed to real world systems, saving on time and costs. Despite significant…

机器学习 · 计算机科学 2020-11-19 Bhairav Mehta , Ankur Handa , Dieter Fox , Fabio Ramos

RISC-V is a RISC based open and loyalty free instruction set architecture which has been developed since 2010, and can be used for cost-effective soft processors on FPGAs. The basic 32-bit integer instruction set in RISC-V is defined as…

硬件体系结构 · 计算机科学 2020-12-30 Hiromu Miyazaki , Takuto Kanamori , Md Ashraful Islam , Kenji Kise