中文 英语

Tensilica dsp支持特征库


Eigen是一个高级c++模板头库,用于线性代数、矩阵和向量运算、几何变换、数值求解器和相关算法。Eigen是基于Mozilla公共许可证2.0 (MPL2)授权的开源软件。Eigen是使用表达式模板元编程技术实现的,这意味着它在编译时构建表达式树…»阅读更多

优化硬件容量,利用自动微分在并行编程模型中有效地计算导数


麻省理工学院(CSAIL)、阿贡国家实验室和慕尼黑工业大学的研究人员发表了一篇题为“通过编译器增强实现多个并行范式的可伸缩自动区分”的技术论文。这篇论文是“超级计算2022”的最佳论文决赛选手和最佳学生论文冠军。在这里找到技术文件。2022年11月出版。这项工作“证明了酶如何优化…»阅读更多

定制的处理器


处理器的设计、验证和实现是一些公司的核心竞争力,但另一些公司只想尽可能快速和廉价地制造出一个小型处理器。有什么工具和选择?处理器的范围从非常小的、简单的、深深嵌入产品的内核,到在数据中心以尽可能高的时钟速度和吞吐量运行的处理器。我…»阅读更多

AI调试过程中的漏洞


当AI算法在现场部署并给出一个意想不到的结果时,通常不清楚该结果是否正确。到底发生了什么?错了吗?如果是,是什么导致了错误?这些问题通常不容易回答。此外,与所有验证问题一样,找到根本原因的唯一方法是将问题分解为可管理的部分。semico……»阅读更多

RISC-V的高级合成


高质量的RISC-V实现越来越多,但正是架构的可扩展性推动了大量的设计活动。挑战在于设计和实现自定义处理器,而不必每次都在寄存器传输级(RTL)重新实现它们。需要考虑两种类型的高级合成(HLS)。第一个是ge…»阅读更多

正式验证SystemC/ c++设计


我们看到越来越多的设计使用了SystemC/ c++。这并不奇怪,因为在许多大型半导体和电子系统公司,已经出现了特定的使用模型,以推动工程团队之间的共同设计流程,从而采用高级合成(HLS)。这些HLS工具是快速生成设计组件的流行方法……»阅读更多

标准、开源和工具


与会专家:《半导体工程》与西门子EDA仿真部高级总监Jean-Marie Brunet讨论了开源验证在今天意味着什么,以及它应该发展成什么;Axiomise首席执行官Ashish Darbari;Imperas Software首席执行官Simon Davidmann;DARPA微系统技术办公室项目经理Serge Leef;刘涛,硬件工程师…»阅读更多

高级合成的进化


高级合成技术再次获得了发光的机会,这一次来自新市场和新技术节点。但目前尚不清楚这项技术将如何充分应用。尽管取得了一些进展,但它仍然不太可能像最初预期的那样,取代目前大部分芯片的RTL设计方法。被认为是下一代EDA公司的基础技术。»阅读更多

通用验证方法失去动力


在过去十年左右的时间里,通用验证方法(UVM)一直是整个EDA行业所支持的事实上的验证方法。但随着芯片变得越来越异构、越来越复杂、越来越大,UVM正在失去动力。共识是需要一些基本的改变,将工具提升到一个抽象级别,并使它们更加方便。»阅读更多

语义的麻烦


语义很重要。它们告诉我们某事的含义。没有语义,你只有一堆乱七八糟的语法。语义定义得越好,错误解释的可能性就越小,因为可以更严格地分析它们。英语语言的语义没有很好的定义,这就是为什么不可能编写一个每个人都同意的规范…»阅读更多

←老帖子
Baidu