[HTML][HTML] Applications and techniques for fast machine learning in science

AMC Deiana, N Tran, J Agar, M Blott… - Frontiers in big …, 2022 - frontiersin.org
In this community review report, we discuss applications and techniques for fast machine
learning (ML) in science—the concept of integrating powerful ML methods into the real-time …

Pushing the level of abstraction of digital system design: A survey on how to program fpgas

ED Sozzo, D Conficconi, A Zeni, M Salaris… - ACM Computing …, 2022 - dl.acm.org
Field Programmable Gate Arrays (FPGAs) are spatial architectures with a heterogeneous
reconfigurable fabric. They are state-of-the-art for prototy**, telecommunications …

Predictable accelerator design with time-sensitive affine types

R Nigam, S Atapattu, S Thomas, Z Li, T Bauer… - Proceedings of the 41st …, 2020 - dl.acm.org
Field-programmable gate arrays (FPGAs) provide an opportunity to co-design applications
with hardware accelerators, yet they remain difficult to program. High-level synthesis (HLS) …

Modular hardware design with timeline types

R Nigam, PH Azevedo de Amorim… - Proceedings of the ACM …, 2023 - dl.acm.org
Modular design is a key challenge for enabling large-scale reuse of hardware modules.
Unlike software, however, hardware designs correspond to physical circuits and inherit …

Pymtl3: A python framework for open-source hardware modeling, generation, simulation, and verification

S Jiang, P Pan, Y Ou, C Batten - IEEE Micro, 2020 - ieeexplore.ieee.org
In this article, we present PyMTL3, a Python framework for open-source hardware modeling,
generation, simulation, and verification. In addition to compelling benefits from using the …

Review of neural network model acceleration techniques based on FPGA platforms

F Liu, H Li, W Hu, Y He - Neurocomputing, 2024 - Elsevier
Neural network models, celebrated for their outstanding scalability and computational
capabilities, have demonstrated remarkable performance across various fields such as …

Performance comparison of instrument automation pipelines using different programming languages

A Kumar, M Goswami - Scientific Reports, 2023 - nature.com
The article presents a performance analysis of fully automated, in-house developed 2D
ultrasound computerized tomography systems using different programming languages. The …

Efficiently exploiting low activity factors to accelerate RTL simulation

S Beamer, D Donofrio - 2020 57th ACM/IEEE Design …, 2020 - ieeexplore.ieee.org
Hardware simulation is a critical tool for design, but its slow speed often bottlenecks the
entire design process. Although most signals in a digital design rarely change, most leading …

Beyond the prototype: Understanding the challenge of scaling hardware device production

R Khurana, S Hodges - Proceedings of the 2020 CHI Conference on …, 2020 - dl.acm.org
The hardware research and development communities have invested heavily in tools and
materials that facilitate the design and prototy** of electronic devices. Numerous easy-to …

Peak: A single source of truth for hardware design and verification

C Donovick, J Melchert, R Daly, L Truong… - ACM Transactions on …, 2024 - dl.acm.org
Domain-specific languages for hardware can significantly enhance designer productivity,
but sometimes at the cost of ease of verification. On the other hand, ISA specification …