EDBT 2026 Demo / reviewers in the wild / expert
Steven Herbst
dblp:164/5403
· DBLP profile ↗
3ranked-venue papers
2as first author
1since 2021 · last 2022
0000-0001-7128-9014ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2 · 2 first-author · 1 since 2021Software engineering, systems software and programming languages · 1Theory of computation · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Electronic design automation · 57% Reconfigurable computing and FPGAs · 33% Integrated circuit design · 10% | |
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Reconfigurable computing and FPGAs
FPGA-based emulation |
0.6 | 1 | 2022 | An Open-Source Framework for FPGA Emulation of Analog/Mixed-Signal Integrated Circuit Designs · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2022 |
Electronic design automation
hardware verification and test |
0.6 | 1 | 2022 | An Open-Source Framework for FPGA Emulation of Analog/Mixed-Signal Integrated Circuit Designs · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2022 |
Programming languages and type systems
domain-specific languages |
0.4 | 1 | 2020 | fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components · CAV (1) 2020 |
Programming languages and type systems › domain-specific languages
embedded domain-specific languages |
0.4 | 1 | 2020 | fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components · CAV (1) 2020 |
Electronic design automation › hardware verification and test
hardware verification |
0.4 | 1 | 2020 | fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components · CAV (1) 2020 |
Integrated circuit design
analog and mixed-signal circuits |
0.2 | 1 | 2022 | An Open-Source Framework for FPGA Emulation of Analog/Mixed-Signal Integrated Circuit Designs · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2022 |
Methods — techniques the papers use, named apart from their topics
python metaprogramming · 0.9synthesizable model generation · 0.6fixed-point and floating-point arithmetic · 0.6compile-time caching · 0.6
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | An Open-Source Framework for FPGA Emulation of Analog/Mixed-Signal Integrated Circuit DesignsabstractThis article presents an open-source framework for emulating mixed-signal chip designs on a field-programmable gate array (FPGA). It includes a Python-based synthesizable model generator for mixed-signal blocks (msdsl), a fixed-point and floating-point synthesizable SystemVerilog library for representing real numbers (svreal), and a Python-based tool that generates emulator control infrastructure and automates the FPGA build process (anasymod). The framework includes features for efficiently modeling analog dynamics, nonlinearity, and noise, often making use of compile-time caching to reduce the required computational resources of the FPGA. We demonstrate the framework’s generality by discussing three applications: 1) a high-speed link receiver (DragonPHY); 2) a firmware-controlled flyback converter; and 3) an NFC-powered chip. Our framework makes it easy to emulate these systems, while providing runtimes 2–3 orders of magnitude faster than CPU simulations with real-number functional models. Steven Herbst, Gabriel Rutsch, Wolfgang Ecker, Mark Horowitz |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 1 |
| 2020 | fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification ComponentsabstractWhile hardware generators have drastically improved design productivity, they have introduced new challenges for the task of verification. To effectively cover the functionality of a sophisticated generator, verification engineers require tools that provide the flexibility of metaprogramming. However, flexibility alone is not enough; components must also be portable in order to encourage the proliferation of verification libraries as well as enable new methodologies. This paper introduces fault , a Python embedded hardware verification language that aims to empower design teams to realize the full potential of generators. Leonard Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan |
CAV (1) | 2 |
| 2018 | Fast FPGA emulation of analog dynamics in digitally-driven systemsabstractIn this paper, we propose an architecture for FPGA emulation of mixed-signal systems that achieves high accuracy at a high throughput. We represent the analog output of a block as a superposition of step responses to changes in its analog input, and the output is evaluated only when needed by the digital subsystem. Our architecture is therefore intended for digitally-driven systems; that is, those in which the inputs of analog dynamical blocks change only on digital clock edges. We implemented a high-speed link transceiver design using the proposed architecture on a Xilinx FPGA. This design demonstrates how our approach breaks the link between simulation rate and time resolution that is characteristic of prior approaches. The emulator is flexible, allowing for the real-time adjustment of analog dynamics, clock jitter, and various design parameters. We demonstrate that our architecture achieves 1% accuracy while running 3 orders of magnitude faster than a comparable high-performance CPU simulation. Steven Herbst, ByongChan Lim, Mark Horowitz |
ICCAD | 1 |