EDBT 2026 Demo / reviewers in the wild / expert
Dan Tang 0002
dblp:38/5641-2
· DBLP profile ↗
8ranked-venue papers
1as first author
7since 2021 · last 2026
0009-0006-6631-6392ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 7 · 1 first-author · 6 since 2021Software engineering, systems software and programming languages · 2 · 2 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | TraceRTL: Agile Performance Evaluation for Microarchitecture ExplorationabstractWhile agile chip development methodologies have accelerated RTL design and simulation, performance evaluation remains constrained by three challenges: (1) inefficient feature prototyping caused by the tight coupling between functional correctness and performance evaluation, particularly for large-scale, error-prone microarchitectures; (2) limited workloads due to incomplete peripheral/software environments or unavailable source code; and (3) time-consuming warm-up phases in sampling-based simulation, required to mitigate cold-start effects. To address these challenges, we propose TRACERTL, an agile, trace-driven performance evaluation methodology that decouples the functional and performance components of CPU RTL designs. It introduces three techniques: (1) a trace-driven performance exploration framework that bypasses full functional correctness while preserving performance accuracy; (2) a trace transformation technique, TraceBridge, that replays traces across different formats and instruction sets; and (3) a fast warm-up strategy, TraceDedup, that eliminates redundant traces and efficiently initializes microarchitectural states. Using TRACERTL, we develop the first trace-driven RTL CPU derived from XiangShan, a high-performance out-of-order RISC-V processor. TRACERTL achieves performance accuracies of 99.87% and 99.86% on SPECint2017 and SPECfp2017, respectively. With TraceBridge, we evaluate x86-based Google workload traces on a RISC-V RTL CPU and reveal distinct memory-bound behavior. TraceDedup further accelerates warm-up phases in sampling-based simulations by$\text{1. 5} \times$to$\text{1 1. 8} \times$. Zifei Zhang 0001, Yinan Xu 0001, Sa Wang, Dan Tang 0002, Yungang Bao |
HPCA | 4 |
| 2026 | Democratizing and Accelerating Hardware Verification with Software-Native Optimization
Yunlong Xie, Zhicheng Yao, Fangyuan Song, Junyue Wang, Haojin Tang, Yinan Xu 0001, Ziyuan Gao, Duan Yu, Jiayi Rao, Junyu Yue, Yunqi Lu, Zechen Yang, Xu An, Qi Ge, Jiuyue Ma, Jian-Yi Meng, Kan Shi, Dan Tang 0002, Sa Wang, Yungang Bao |
ISCA | 25 |
| 2025 | Verilua: An Open Source Versatile Framework for Efficient Hardware Verification and Analysis Using LuaJITabstractThe growing complexity of hardware verification highlights limitations in existing frameworks, particularly regarding flexibility and reusability. Current methodologies often require multiple specialized environments for functional verification, waveform analysis, and simulation, leading to toolchain fragmentation and inefficient code reuse. This paper presents Verilua, a unified framework leveraging LuaJIT and the Verilog Procedural Interface (VPI), which integrates three core functional-ities: Lua-based functional verification, a scripting engine for RTL simulation, and waveform analysis. By enabling complete code reuse through a unified Lua codebase, the framework achieves a 12x speedup in RTL simulation compared to cocotb and a 70x improvement in waveform analysis over state-of-the-art solutions. Through consolidating verification tasks into a single platform, Verilua enhances efficiency while reducing tool fragmentation and learning overhead, addressing critical challenges in modern hardware design. Ye Cai 0001, Chuyu Zheng, Dan Tang 0002 |
DATE | 4 |
| 2024 | PathFuzz: Broadening Fuzzing Horizons with Footprint Memory for CPUsabstractCoverage metrics have been widely adopted to quantify the completeness of hardware verification. Recently, coverage-guided fuzzing has emerged as a popular method for automatically creating test inputs toward higher verification coverage reach. However, we observe that its effectiveness on CPUs is hindered by limited sources of seed corpus and efficiency of mutations. To broaden the fuzzing horizons, this paper proposes the PathFuzz framework incorporating an efficient input format for fuzzing CPUs, the footprint memory, with seed corpus from real-world large-scale programs. Experiments demonstrate that using PathFuzz reaches over 95% verification coverage with four long-standing bugs newly identified in two well-known open-source CPU designs. Yinan Xu 0001, Sa Wang, Dan Tang 0002, Ninghui Sun, Yungang Bao |
DAC | 3 |
| 2024 | XiangShan: An Open-Source Project for High-Performance RISC-V Processors Meeting Industrial-Grade Standardsabstract•Overview •Microarchitecture design •Agile development platform •Applications in industry & academia •Summary Kaifan Wang, Yinan Xu 0001, Zifei Zhang 0001, Guokai Chen, Linjuan Zhang, Dan Tang 0002, Ninghui Sun, Yungang Bao |
HCS | 11 |
| 2023 | Functional Verification for Agile Processor Development: A Case for Workflow Integration
Yinan Xu 0001, Kaifan Wang, Huaqiang Wang, Linjuan Zhang, Zifei Zhang 0001, Dan Tang 0002, Sa Wang, Kan Shi, Ninghui Sun, Yungang Bao |
J. Comput. Sci. Technol. | 9 |
| 2022 | Towards Developing High Performance RISC-V Processors Using Agile MethodologyabstractWhile research has shown that the agile chip design methodology is promising to sustain the scaling of computing performance in a more efficient way, it is still of limited usage in actual applications due to two major obstacles: 1) Lack of tool-chain and developing framework supporting agile chip design, especially for large-scale modern processors. 2) The conventional verification methods are less agile and become a major bottleneck of the entire process. To tackle both issues, we propose MINJIE, an open-source platform supporting agile processor development flow. MINJIE integrates a broad set of tools for logic design, functional verification, performance modelling, pre-silicon validation and debugging for better development efficiency of state-of-the-art processor designs. We demonstrate the usage and effectiveness of MINJIE by building two generations of an open-source superscalar out-of-order RISC-V processor code-named XIANGSHAN using agile methodologies. We quantify the performance of XIANGSHAN using SPEC CPU2006 benchmarks and demonstrate that XIANGSHAN achieves industry-competitive performance. Yinan Xu 0001, Dan Tang 0002, Guokai Chen, Lingrui Gou, Qianruo Li, Zuojun Li, Jiazhan Tan, Huaqiang Wang, Huizhe Wang, Kaifan Wang, Chuanqi Zhang, Fawang Zhang, Linjuan Zhang, Zifei Zhang 0001, Yaoyang Zhou, Yike Zhou, Jiangrui Zou, Ye Cai 0001, Dandan Huan, Zusong Li, Jiye Zhao, Qiyuan Quan, Xingwu Liu, Sa Wang, Kan Shi, Ninghui Sun, Yungang Bao |
MICRO | 3 |
| 2010 | DMA cache: Using on-chip storage to architecturally separate I/O data from CPU data for improving I/O performanceabstractAs technology advances both in increasing bandwidth and in reducing latency for I/O buses and devices, moving I/O data in/out memory has become critical. In this paper, we have observed the different characteristics of I/O and CPU memory reference behavior, and found the potential benefits of separating I/O data from CPU data. We propose a DMA cache technique to store I/O data in dedicated on-chip storage and present two DMA cache designs. The first design, Decoupled DMA Cache (DDC), adopts additional on-chip storage as the DMA cache to buffer I/O data. The second design, Partition-Based DMA Cache (PBDC), does not require additional on-chip storage, but can dynamically use some ways of the processor's last level cache (LLC) as the DMA cache. We have implemented and evaluated the two DMA cache designs by using an FPGA-based emulation platform and the memory reference traces of real-world applications. Experimental results show that, compared with the existing snooping-cache scheme, DDC can reduce memory access latency (in bus cycles) by 34.8% on average (up to 58.4%), while PBDC can achieve about 80% of DDC's performance improvements despite no additional on-chip storage. Dan Tang 0002, Yungang Bao, Weiwu Hu, Mingyu Chen 0001 |
HPCA | 1 |