paper-with-me

Papers

2L-3W: 2-Level 3-Way Hardware-Software Co-Verification for the Mapping of Deep Learning Architecture (DLA) onto FPGA Boards

2019-11-14 · Tolulope A. Odetola, Katie M. Groves, Syed Rafay Hasan

FPGAs have become a popular choice for deploying deep learning architectures (DLA). There are many researchers that have explored the deployment and mapping of DLA on FPGA. However, there has been a growing need to do design-time hardware-software co-verification of these deployments. To the best of our knowledge this is the first work that proposes a 2-Level 3-Way (2L-3W) hardware-software co-verification methodology and provides a step-by-step guide for the successful mapping, deployment and verification of DLA on FPGA boards. The 2-Level verification is to make sure the implementation in each stage (software and hardware) are following the desired behavior. The 3-Way co-verification provides a cross-paradigm (software, design and hardware) layer-by-layer parameter check to assure the correct implementation and mapping of the DLA onto FPGA boards. The proposed 2L-3W co-verification methodology has been evaluated over several test cases. In each case, the prediction and layer-by-layer output of the DLA deployed on PYNQ FPGA board (hardware) alongside with the intermediate design results of the layer-by-layer output of the DLA implemented on Vivado HLS and the prediction and layer-by-layer output of the software level (Caffe deep learning framework) are compared to obtain a layer-by-layer similarity score. The comparison is achieved using a completely automated Python script. The comparison provides a layer-by-layer similarity score that informs us the degree of success of the DLA mapping to the FPGA or help identify in design time the layer to be debugged in the case of unsuccessful mapping. We demonstrated our technique on LeNet DLA and Caffe inspired Cifar-10 DLA and the co-verification results yielded layer-by-layer similarity scores of 99\% accuracy.

📄 PDF Abstract BibTeX arXiv:1911.05944

Code (0)

등록된 구현이 없습니다.

Methods 이 논문이 사용한 방법론

Test 설명 없음
DLA 설명 없음
Convolution A convolution is a type of matrix operation, consisting of a kernel, a small matrix of weights, that slides over input data performing element-wise multiplication with the…
Dense Connections Dense Connections, or Fully Connected Connections, are a type of layer in a deep neural network that use a linear operation where every input is connected to every output…
LeNet LeNet is a classic convolutional neural network employing the use of convolutions, pooling and fully connected layers. It was used for the handwritten digit recognition task…

Similar Papers 제목 키워드 기반

Hardware-friendly Neural Network Architecture for Neuromorphic Computing

2019-04-03 · Roshan Gopalakrishnan, Yansong Chua, Ashish Jith Sreejith Kumar

The hardware-software co-optimization of neural network architectures is becoming a major stream of research especially due to the emergence of commercial neuromorphic chips such as the IBM Truenorth and Intel Loihi. Dev…

AIM: Software and Hardware Co-design for Architecture-level IR-drop Mitigation in High-performance PIM

2025-11-06 · Yuanpeng Zhang, Xing Hu, Xi Chen, Zhihang Yuan 외 arxiv

SRAM Processing-in-Memory (PIM) has emerged as the most promising implementation for high-performance PIM, delivering superior computing density, energy efficiency, and computational precision. However, the pursuit of hi…

Learning Semantic Representations to Verify Hardware Designs

2021-12-01 · NeurIPS 2021 12 · Shobha Vasudevan, Wenjie (Joe) Jiang, David Bieber, Rishabh Singh 외

Verification is a serious bottleneck in the industrial hardware design cycle, routinely requiring person-years of effort. Practical verification relies on a "best effort" process that simulates the design on test inputs.…

Graph Neural NetworkLearning Semantic Representations

Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development

2026-05-19 · Christopher Koch arxiv

Agentic AI coding systems can inspect repositories, plan implementation steps, edit files, call tools, run tests, and submit pull requests. These capabilities make software and hardware development faster in some setting…

Prompt EngineeringCode Generation

Hardware Phi-1.5B: A Large Language Model Encodes Hardware Domain Specific Knowledge

2024-01-27 · Weimin Fu, Shijie Li, Yifang Zhao, Haocheng Ma 외

In the rapidly evolving semiconductor industry, where research, design, verification, and manufacturing are intricately linked, the potential of Large Language Models to revolutionize hardware design and security verific…

Language ModelingLanguage ModellingLarge Language Model