技术文件主页

设计与验证

• DNN- opt，一种基于深度神经网络(DNN)的模拟尺寸黑盒优化框架

  出版于2022年8月19日

• Gemmini:开源、全栈DNN加速器生成器(DAC最佳论文)

  出版于2022年8月19日

• 用于检测硬件和soc硬件/固件接口中安全关键漏洞的形式化验证方法(获奖)

  发布于2022年8月17日

• 用于FP16矩阵乘法的低功耗HW加速器，用于RISC-V核心内的紧密集成

  出版于2022年8月3日

• 安全的物理设计路线图，实现端到端可信的IC设计流程

  发布于2022年7月21日

• 在能量收集设备上配置DNN模型的软硬件协同设计

  发布于2022年7月20日

• 快速灵活的基于fpga的NoC混合仿真

  发布于2022年7月14日

• 面向安全的系统硬件架构探索框架

  发布于2022年7月12日

• fpga的异构冗余电路设计方法

  发布于2022年7月12日

• 麻省理工学院和加州大学伯克利分校:“Exo”编程语言为硬件加速器编写高性能代码

  发布于2022年7月11日
第4页，共9页
• 1
• 2
• 3.
• 4
• 5
• 6
• 7
• 8
• 9