https://shibo-chen.github.io/zh/research/Recent content in 研究 on 陈士博https://shibo-chen.github.io/images/og-card.pnghttps://shibo-chen.github.io/images/og-card.pngHugozh-Hanshttps://shibo-chen.github.io/zh/research/zipper/Mon, 01 Jan 0001 00:00:00 +0000https://shibo-chen.github.io/zh/research/zipper/一个协议优化层：让总线请求重叠执行并利用数据局部性，时延敏感的加速器不再干等总线。https://shibo-chen.github.io/zh/research/twine/Mon, 01 Jan 0001 00:00:00 +0000https://shibo-chen.github.io/zh/research/twine/一个 Chisel 扩展：统一组件接口并自动生成控制逻辑，让设计者专注于组合系统，而不是连线。https://shibo-chen.github.io/zh/research/overpass/Mon, 01 Jan 0001 00:00:00 +0000https://shibo-chen.github.io/zh/research/overpass/一种采用分布式资源分配的灵活互连：CPU、加速器和 I/O 共享带宽，不需要集中仲裁器。https://shibo-chen.github.io/zh/research/se-verification/Mon, 01 Jan 0001 00:00:00 +0000https://shibo-chen.github.io/zh/research/se-verification/对 Sequestered Encryption 架构做了从 ISA 到 RTL 的完整形式化验证，获 CCS 2023 Distinguished Paper Award。https://shibo-chen.github.io/zh/research/morpheus/Mon, 01 Jan 0001 00:00:00 +0000https://shibo-chen.github.io/zh/research/morpheus/一种 RISC-V 安全架构：在程序运行时持续重新随机化代码和指针，攻击者的探测结果还没来得及用就已过期。