信息概览
在IC、FPGA的验证工作中,有一部分涉及到硬件底层的验证工作,必须使用传统的SystemVerilog、UVM框架进行验证。但除此之外,也有相当多的验证工作可以在更高的层次上进行。这些高层次的验证工作往往不需要验证人员了解硬件设计,更多的是一种软件层面的程序开发工作。 硬件验证软件化也是目前业内的一个趋势,掌握Python的软件开发人员远多于掌握SystemVerilog的开发人员。互联网领域常用的“微服务系统”和一个经过TLM建模的硬件系统有诸多相似之处。 DistroSim项目可以使用Python开
一、孵化筹备期项目
(一)捐赠主体
北京达坦科技有限公司
(二)技术特点
1.使用Python实现对硬件逻辑快速、敏捷的建模,减少测试代码中SystemVerilog、SystemC代码的占比,降低硬件测试环境的搭建难度。基于QEMU仿真器,可以实现高层应用软件与底层硬件的协同开发、仿真、调试。
(三)项目sponsor
无
(四)项目价值
硬件的开发迭代周期一般比较长,导致软件的调试流程无法与硬件的开发同步进行。在硬件就绪之前,软件开发只能盲写。另一方面,由于软件测试依赖硬件平台,无法进行大规模的自动化回归测试。此外,绝大多数商用IP核仿真模型封闭,对开源不友好。
DistroSim项目用于方便快捷的编写开源硬件仿真模型,并且完善周围上下游相关的工具链,形成一个易于使用的,符合敏捷验证理念的,开源的软硬件联调开发框架。使得软件开发人员可以快速转型成为硬件验证开发人员。
(五)项目简介
在IC、FPGA的验证工作中,有一部分涉及到硬件底层的验证工作,必须使用传统的SystemVerilog、UVM框架进行验证。但除此之外,也有相当多的验证工作可以在更高的层次上进行。这些高层次的验证工作往往不需要验证人员了解硬件设计,更多的是一种软件层面的程序开发工作。
硬件验证软件化也是目前业内的一个趋势,掌握Python的软件开发人员远多于掌握SystemVerilog的开发人员。互联网领域常用的“微服务系统”和一个经过TLM建模的硬件系统有诸多相似之处。
DistroSim项目可以使用Python开发硬件仿真模型,其底层基于SystemC和TLM2.0实现,对上层提供易于使用Python接口。使得软件开发人员可以快速转型成为硬件验证开发人员。
以下是DistroSim的一个实际使用案例,详细介绍可以参考https://www.bilibili.com/video/BV1eW4y1c766/


(六)项目开发团队介绍
团队核心成员大部分都来自 Google、Cadence、Microsoft、Alibaba、Mentor Graphics等国际知名科技公司,拥有深厚的软硬件技术积累和丰富的行业经验。