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

Kunal Singhal

dblp:241/4262 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2019
—ORCID · unresolved

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

Systems, architecture and hardware · 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
1 paper
Embedded and real-time systems · 46% Electronic design automation · 30% Reconfigurable computing and FPGAs · 23%

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

TopicWeightPapersLastEvidence papers
Electronic design automation › hardware verification and test
hardware verification
0.412019
DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring · DAC 2019
Reconfigurable computing and FPGAs › reconfigurable architecture
reconfigurable fabric
0.412019
DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring · DAC 2019
Embedded and real-time systems
runtime monitoring
0.412019
DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring · DAC 2019
Embedded and real-time systems › runtime monitoring
runtime verification
0.412019
DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring · DAC 2019
Electronic design automation › hardware verification and test
design-for-debug
0.112019
DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring · DAC 2019

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

software instrumentation · 0.4dynamic monitor selection · 0.4
YearPublicationVenuePosition
2019 DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring
abstract
Runtime verification employs dedicated hardware or software monitors to check whether program properties hold at runtime. However, these monitors often incur high area and performance overheads depending on whether they are implemented in hardware or software. In this work, we propose DHOOM, an architectural framework for runtime monitoring of program assertions, which exploits the combination of a reconfigurable fabric present alongside a processor core with the vestigial on-chip Design-for-Debug hardware. This combination of hardware features allows DHOOM to minimize the overall performance overhead of runtime verification, even when subject to a given area constraint. We present an algorithm for dynamically selecting an effective subset of assertion monitors that can be accommodated in the available programmable fabric, while instrumenting the remaining assertions in software. We show that our proposed strategy, while respecting area constraints, reduces the performance overhead of runtime verification by up to 32% when compared with a baseline of software-only monitors.
Neetu Jindal, Sandeep Chandran, Preeti Ranjan Panda, Sanjiva Prasad, Abhay Mitra, Kunal Singhal, Shikhar Tuli
DAC6