Demo Data from EDBT 2026 / reviewers in the wild / expert
Andrew Cofler
dblp:03/4627
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2005
—ORCID · none
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 |
Electronic design automation · 67% Processor architecture and microarchitecture · 33% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
hardware verification and test |
0.1 | 1 | 2005 | VLIW: a case study of parallelism verification · DAC 2005 |
Electronic design automation › hardware verification and test
processor verification |
0.1 | 1 | 2005 | VLIW: a case study of parallelism verification · DAC 2005 |
Processor architecture and microarchitecture › instruction-level parallelism › VLIW
VLIW processor |
0.1 | 1 | 2005 | VLIW: a case study of parallelism verification · DAC 2005 |
Methods — techniques the papers use, named apart from their topics
test program generator · 0.1parallel generation technique · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2005 | VLIW: a case study of parallelism verificationabstractParallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper we report on the verification of a Very Large Instruction Word processor. The verification team used a sophisticated test program generator that modeled the parallel aspects as sequential constraints, and augmented the tool with manually written test templates. The system created large numbers of legal stimuli, however the quality of the tests was proved insufficient by several post silicon bugs. We analyze this experience and suggest an alternative, parallel generation technique. We show through experiments the feasibility of the new technique and its superior quality along several dimensions. We claim that the results apply to other parallel architectures and verification environments. Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy |
DAC | 8 |