Zipper: Latency-Tolerant Optimizations for High-Performance Buses2025
ASP-DAC 2025
隐藏总线时延的协议层;最高 8x 加速,逻辑开销 4.3%。
Security Verification of Low-Trust Architectures2023
ACM CCS 2023Distinguished Paper Award
对低信任架构做了从 ISA 到 RTL 的完整形式化验证。
Twine: A Chisel Extension for Component-Level Heterogeneous Design2022
DATE 2022
统一组件接口并自动生成控制逻辑;设计描述规模缩小到 1/3。