作为 2023RISC- V 中国峰会的同期流动， 8 月 25 日下午，达坦科技胜利在线上举办第二届硬件麻利开发与验证方法学研讨会。长达三小时的就新一代 HDL 在数字芯片设计开发和验证效率方面的实践经验分享，到底碰撞出了什么新的火花呢？上面咱们一起来回顾研讨会的精彩内容。
Part.1《RISC- V 麻利硬件开发 - 软件定义芯片》
兆松科技的联结创始人兼 CTO 伍华林做了《RISC- V 麻利硬件开发 - 软件定义芯片》的收场演讲。分享人首先介绍了传统 SoC 研发设计流程的弊病，并科普了什么是软硬件协同设计。而后，他介绍了兆松科技开发的一系列编译器、建模、检测工具、微架构性能剖析工具等，以及它们在软硬件协同设计的老本、效率等方面的作用和劣势。最初，伍华林总结说 RISC- V 开启了垂直计算时代，软件定义芯片成为算力增长的必然门路，而具备疾速架构摸索能力的芯片公司将怀才不遇，因而，升高 DSA 芯片软硬件开发成本将成为外围竞争力。
《RISC- V 麻利硬件开发 - 软件定义芯片》视频链接：【达坦科技 DatenLord】RISC- V 麻利硬件开发 - 软件定义芯片_哔哩哔哩_bilibili
Part.2《香山处理器与麻利开发工具链的最新进展》
中科院计算所硕士研究生胡轩的分享题目是：《香山处理器与麻利开发工具链的最新进展》。胡轩首先介绍了香山开源高性能 RISC- V 处理器的三个版本的架构迭代。昆明湖架构新增反对 RISC- V 向量和虚拟化扩大指令集等，依靠北京开源芯片研究院与工业界各企业搭档的严密单干，预计在 2023 年底实现设计。香山处理器核通过麻利开发工具链晋升迭代速度，以疾速实现对标甚至超过目前支流的竞品。在分享中，胡轩回顾了香山麻利开发的工具链，同时针对性能验证循环的有余，香山开发了结构化的信息辅助调试工具，并通过硬件含糊测试来晋升零碎级验证覆盖率。此外，针对性能优化循环的有余，也做了不少精细化和探索性的尝试。
《香山处理器与麻利开发工具链的最新进展》视频链接：【达坦科技 DatenLord】香山处理器与麻利开发工具链的最新进展_哔哩哔哩_bilibili
Part.3《数据流式编程在硬件设计中的利用》
达坦科技软硬件联合开发工程师米明恒进行了《数据流式编程在硬件设计中的利用》的专题报告。分享介绍了数据流式编程思维的源起，数据流式程序的因素和特色，以及数据流式程序在软硬件开发畛域的利用。此外，米明恒就数据流思维与状态机思维进行了比照，以强调数据流式编程的简洁性和易维护性。而后，他分享了 Bluespec 语言及其提供的 PAClib 编程框架；对 PAClib 中的根底开发组件简略介绍后，米明恒以 IFFT 利用实例展现了如何用运行框架和数据流式编程思维来减速硬件设计和开发。
《数据流式编程在硬件设计中的利用》视频链接：【达坦科技 DatenLord】数据流式编程在硬件设计中的利用_哔哩哔哩_bilibili
Part.4《EDA 翻新推动麻利芯片设计》
接下来，芯华章资深产品市场总监杨晔做了《EDA 翻新推动麻利芯片设计》的分享。到底什么是硬件的麻利设计？杨晔从软件麻利设计的定义（“以疾速响应变动和继续测试为外围”）登程，认为芯片设计漫长的流程与束缚无奈齐全照搬软件麻利设计的界定。并分享了芯华章在产品设计和实际中得来的教训：芯片设计中的麻利是以 EDA 计算为外围的。而后，他从主动、智能和效率的角度，联合芯华章的产品线分享了其麻利设计和形式化验证等的教训、成绩和挑战。以及近年来在 AI 驱动的 EDA 效率晋升方面的摸索和尝试。
《EDA 翻新推动麻利芯片设计》视频链接：【达坦科技 DatenLord】EDA 翻新推动麻利芯片设计_哔哩哔哩_bilibili
Part.5《Automated CPU Design with AI》
来自中科院计算所的郭崎研究员进行了《Automated CPU Design with AI》的专题报告。芯片主动设计始终以来都是计算机科学的外围问题之一，其对于撑持体系结构倒退也具备重要意义。现有的处理器芯片设计流程办法面临自动化水平无限和优化能力无限的问题。“如何在宏大设计空间中找到满足需要标准的电路逻辑及其链接关系？”是郭老师在钻研通过人工智能技术实现 CPU 全流程的自动化方面始终思考的问题。在分享中，郭老师介绍了处理器芯片主动设计面临的要害挑战和解决思路。他提出从神经网络办法回归传统基于 BDD 的办法，并简介了其基于电路复杂度预计的近似搜寻办法。
《Automated CPU Design with AI》视频链接：【达坦科技 DatenLord】Automated CPU design with AI_哔哩哔哩_bilibili
Part.6《MetaHVL 硬件麻利验证与协同仿真》
华南理工大学计算机学院副教授赖晓铮的分享主题是《MetaHVL 硬件麻利验证与协同仿真》。赖老师从芯片设计的规模和芯片设计的老本是不成比例（规模是线性晋升，老本是指数晋升）的现状登程，提出硬件设计的流程有更麻利的需要。而麻利是蕴含设计和验证两个维度的全流程麻利。他分享了使用翻新 EDA 方法学和工具以进一步拆散设计与实现；此外，进步设计抽象层次的同时，也须要进步验证的抽象层次。赖老师介绍了他在 Meta-HVL 我的项目钻研的中期论断，即小规模设计的减速比显著，规模越大，DUT 运行工夫占比越大，则验证减速起到的作用越小。因而，工夫应该花在进步验证的效率上，而不是把工夫和资源花在减速验证代码的运行上。
《MetaHVL 硬件麻利验证与协同仿真》视频链接：【达坦科技 Datenlord】MetaHVL 硬件麻利验证与协同仿真_哔哩哔哩_bilibili
结束语
如何晋升数字芯片的开发和验证效率始终是业界关注的焦点。新一代 HDL 关上了全新的数字芯片麻利设计和验证的方法学大门。在本次研讨会上，业界和学界的各位专家分享了他们在各自畛域的 硬件麻利开发与验证实践经验，心愿这些前沿的摸索能够为关注该畛域的学习者和实践者提供一次深入探讨和交换的机会，以此进一步促成硬件麻利开发与验证方法学的倒退与落地。
达坦科技（DatenLord）专一下一代云计算——“天空计算”的基础设施技术，致力于拓宽云计算的边界。达坦科技打造的新一代开源跨云存储平台 DatenLord，通过软硬件深度交融的形式买通云间壁垒，实现数据高效跨云拜访，建设海量异地、异构数据的对立存储拜访机制，为云上利用提供高性能平安存储反对。以满足不同行业客户对海量数据跨云、跨数据中心高性能拜访的需要。
公众 号：达坦科技 DatenLord
DatenLord 官网：https://datenlord.github.io/zh-cn/
知乎账号：
https://www.zhihu.com/org/da-tan-ke-ji
B 站：
https://space.bilibili.com/2017027518
7518