Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Griffin Berlstein

dblp:252/4710 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2023
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021

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
1 paper
Electronic design automation · 56% Processor architecture and microarchitecture · 44%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Processor architecture and microarchitecture
debugging support
0.712023
Stepwise Debugging for Hardware Accelerators · ASPLOS (2) 2023
Electronic design automation
hardware verification and test
0.712023
Stepwise Debugging for Hardware Accelerators · ASPLOS (2) 2023
Electronic design automation
hardware description language
0.212023
Stepwise Debugging for Hardware Accelerators · ASPLOS (2) 2023

Methods — techniques the papers use, named apart from their topics

simulation · 0.7intermediate language · 0.7
YearPublicationVenuePosition
2023 Stepwise Debugging for Hardware Accelerators
abstract
High-level programming models for hardware design let domain experts quickly produce specialized accelerators. However, tools for debugging these accelerators remain tied to low-level hardware description languages (HDLs). High-level descriptions contain control-flow information that is lost in HDL code. We describe Cider, a stepwise debugger that exploits this information to provide software-like debugging abstractions for languages that compile to hardware. Cider uses Calyx, an intermediate language for accelerator generators that preserves control information. Cider provides breakpoints, watchpoints, state inspection, and source-level position mapping. Using case studies that examine one new and two preexisting accelerator generators, we demonstrate how Cider helps find and localize previously unreported bugs. By directly simulating a control-rich representation, Cider avoids wasting effort on inactive parts of the design and, despite being largely unoptimized, performs competitively with open-source HDL simulators.
Griffin Berlstein, Rachit Nigam, Christophe Gyurgyik, Adrian Sampson
ASPLOS (2)1