FDBench: A Paired Golden-Buggy Benchmark for FPGA Debugging
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
Despite their wide use in digital and embedded systems, Field-Programmable Gate Array (FPGA) debugging remains challenging due to design complexity, limited observability, and inefficient trace analysis. The field still lacks a standard benchmark. This makes it hard for researchers to compare their work or verify what has already been done in FPGA debugging. We present a benchmark for FPGA debugging that includes typical bug cases, various fault types, configurable observability settings, and Integrated Logic Analyzer (ILA)-based reference baselines. The benchmark supports consistent and reproducible evaluation of FPGA debug systems and tools. It reduces the difficulty of FPGA debugging research and facilitates systematic comparison, reproducibility, and innovation in FPGA debugging system development.
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 16th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2026 |
| Redakteure/-innen | Riadh Ben Abdelhamid, Ray Cheung, Frank Hannig, Shreejith Shanker, Dirk Koch, Shinya Takamaeda, Mirjana Stojilovic |
| Herausgeber (Verlag) | Association for Computing Machinery (ACM) |
| Seiten | 161-163 |
| Seitenumfang | 3 |
| ISBN (elektronisch) | 979-8-4007-2452-7 |
| Publikationsstatus | Veröffentlicht - 13 Aug. 2026 |
| Peer-Review-Status | Ja |
Konferenz
| Titel | 16th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies |
|---|---|
| Kurztitel | HEART 2026 |
| Veranstaltungsnummer | 16 |
| Dauer | 17 - 19 Juni 2026 |
| Webseite | |
| Ort | European Institute for Neuromorphic Computing (EINC) |
| Stadt | Heidelberg |
| Land | Deutschland |
Externe IDs
| ORCID | /0000-0003-2571-8441/work/227511524 |
|---|---|
| ORCID | /0009-0008-7205-6667/work/227514169 |
Schlagworte
ASJC Scopus Sachgebiete
- Artificial intelligence - Benchmark, Debugging Benchmark, Embedded Systems, FPGA Debugging, FPGA Systems, FPGA Verification
- Computernetzwerke und -kommunikation - Benchmark, Debugging Benchmark, Embedded Systems, FPGA Debugging, FPGA Systems, FPGA Verification
- Angewandte Informatik - Benchmark, Debugging Benchmark, Embedded Systems, FPGA Debugging, FPGA Systems, FPGA Verification
- Hardware und Architektur - Benchmark, Debugging Benchmark, Embedded Systems, FPGA Debugging, FPGA Systems, FPGA Verification
- Steuerungs- und Systemtechnik - Benchmark, Debugging Benchmark, Embedded Systems, FPGA Debugging, FPGA Systems, FPGA Verification
- Elektrotechnik und Elektronik - Benchmark, Debugging Benchmark, Embedded Systems, FPGA Debugging, FPGA Systems, FPGA Verification
Schlagwörter
- Benchmark, Debugging Benchmark, Embedded Systems, FPGA Debugging, FPGA Systems, FPGA Verification