中文
相关论文

相关论文: An Infrastructure to Functionally Test Designs Gen…

200 篇论文

An undergraduate compilers course poses significant challenges to students, in both the conceptual richness of the major components and in the programming effort necessary to implement them. In this paper, I argue that a related…

计算机与社会 · 计算机科学 2014-12-02 John H. E. Lasseter

The most important way to achieve higher performance in computer systems is through heterogeneous computing, i.e., by adopting hardware platforms containing more than one type of processor, such as CPUs, GPUs, and FPGAs. Several types of…

软件工程 · 计算机科学 2020-05-19 Hugo Andrade , Ivica Crnkovic , Jan Bosch

FPGAs have found their way into data centers as accelerator cards, making reconfigurable computing more accessible for high-performance applications. At the same time, new high-level synthesis compilers like Xilinx Vitis and runtime…

硬件体系结构 · 计算机科学 2021-12-16 Puya Amiri , Arsène Pérard-Gayot , Richard Membarth , Philipp Slusallek , Roland Leißa , Sebastian Hack

In this paper we focus on exploiting a specification and the structures that satisfy it, to obtain a means of comparing implemented and expected behaviours and find the origin of faults in implementations. We present an approach to the…

软件工程 · 计算机科学 2013-03-06 Isabel Nunes , Filipe Luís

Array-intensive programs are often amenable to parallelization across many cores on a single machine as well as scaling across multiple machines and hence are well explored, especially in the domain of high-performance computing. These…

编程语言 · 计算机科学 2019-05-23 Kunal Banerjee , Chandan Karfa

Classes on compiler technology are commonly found in Computer Science curricula, covering aspects of parsing, semantic analysis, intermediate transformations and target code generation. This paper reports on introducing certified…

编程语言 · 计算机科学 2019-06-28 Per Lindgren , Marcus Lindner , Nils Fitinghoff

The contribution of this paper is threefold: first, it defines a framework for modelling component-based systems, as well as a formalization of integration rules to combine their behavior. This is based on finite state machines (FSM).…

软件工程 · 计算机科学 2014-06-12 Bilal Kanso , Omar Chebaro

The main goal of this research is to develop the concepts of a revolutionary processor system called Functional Processor System. The fairly novel work carried out in this proposal concentrates on decoding of function pipelines and…

硬件体系结构 · 计算机科学 2016-09-08 T. R. Gopalakrishnan Nair , R. Selva rani , H. K. Krutthika

The increasing competition in the semiconductor industry has created significant pressure to reduce chip prices while maintaining quality and reliability. Functional verification, particularly for configurable IPs, is a major contributor to…

硬件体系结构 · 计算机科学 2025-10-21 Shuhang Zhang , Jelena Radulovic , Thorsten Dworzak

The structures for the expression of fault-tolerance provisions into the application software are the central topic of this paper. Structuring techniques answer the questions "How to incorporate fault-tolerance in the application layer of a…

软件工程 · 计算机科学 2015-04-14 Vincenzo De Florio , Chris Blondia

Due to the emergence of embedded applications in image and video processing, communication and cryptography, improvement of pictorial information for better human perception like deblurring, denoising in several fields such as satellite…

硬件体系结构 · 计算机科学 2014-04-16 Chandrajit Pal , Avik Kotal , Asit Samanta , Amlan Chakrabarti , Ranjan Ghosh

OpenCL for FPGA enables developers to design FPGAs using a programming model similar for processors. Recent works have shown that code optimization at the OpenCL level is important to achieve high computational efficiency. However, existing…

分布式、并行与集群计算 · 计算机科学 2020-02-06 Ji Liu , Abdullah-Al Kafi , Xipeng Shen , Huiyang Zhou

Barriers that prevent programmers from using FPGAs include the need to work within vendor specific CAD tools, knowledge of hardware programming models, and the requirement to pass each design through synthesis, place and route. In this…

硬件体系结构 · 计算机科学 2016-03-04 Zeyad Aklah , Sen Ma , David Andrews

Hardware acceleration of algorithms is an effective method for improving performance in high-demand computational tasks. However, developing hardware designs for such acceleration fundamentally differs from software development, as it…

硬件体系结构 · 计算机科学 2025-05-28 Mads Rosendahl , Maja H. Kirkeby

FPGA accelerators are gaining increasing attention in both cloud and edge computing because of their hardware flexibility, high computational throughput, and low power consumption. However, the design flow of FPGAs often requires specific…

硬件体系结构 · 计算机科学 2021-02-22 Masudul Hassan Quraishi , Erfan Bank Tavakoli , Fengbo Ren

This article presents an asynchronous FPGA architecture for implementing cryptographic algorithms secured against physical cryptanalysis. We discuss the suitability of asynchronous reconfigurable architectures for such applications before…

In a context of ever-growing worldwide communication traffic, cloud service providers aim at deploying scalable infrastructures to address heterogeneous needs. Part of the network infrastructure, FPGAs are tailored to guarantee low-latency…

硬件体系结构 · 计算机科学 2026-01-22 Jean Bruant , Pierre-Henri Horrein , Olivier Muller , Frédéric Pétrot

Overlays are virtual, re-configurable architectures that overlay on top of physical FPGA fabrics. An overlay that is specialized for an application, or a class of applications, offers both fast reconfiguration and minimized performance…

编程语言 · 计算机科学 2020-09-03 Hongbo Rong

When designing modern embedded computing systems, most software programmers choose to use multicore processors, possibly in combination with general-purpose graphics processing units (GPGPUs) and/or hardware accelerators. They also often…

硬件体系结构 · 计算机科学 2015-08-31 Lesley Shannon , Eric Matthews , Nicholas Doyle , Alexandra Fedorova

FPGAs are going mainstream. Major companies that were not traditionally FPGA-focused are now seeking ways to exploit the benefits of reconfigurable technology and provide it to their customers. In order to do so, a debug ecosystem that…

硬件体系结构 · 计算机科学 2016-06-22 Fatemeh Eslami , Eddie Hung , Steven J. E. Wilton