RISC-V虚拟原型


DFKI公司和不来梅大学的研究人员发表了一篇题为“开源RISC-V虚拟原型中的高级嵌入式系统建模与仿真”的新技术论文。摘要RISC-V是一种现代指令集体系结构(ISA),由于其开放的性质与干净和模块化的设计相结合,具有巨大的潜力成为互联网应用领域的游戏规则改变者。»阅读更多

定制的处理器


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

RISC-V的高级合成


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

正式验证SystemC/ c++设计


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

安全关键系统数字孪生的动态故障注入


在这项工作中,我们提出了一种不需要改变虚拟原型模型的情况下,将故障结构动态引入数字双胞胎的技术。注入是在模拟开始时通过动态地重新连接所涉及的网络列表来完成的。在实时平台上的仿真过程中,故障可以通过序列、统计效应或ev触发来激活或失效。»阅读更多

SoC开发中的虚拟样机


现代半导体技术使制造商能够将越来越多的功能和存储器装入单个硅晶片中。几年前,基于摩尔定律稳步推进的微集成主要集中在提高集成电路(IC)的时钟频率上,而今天,实现新IC功能的是设计复杂性和模块数量。越来越多的逻辑……»阅读更多

开源验证的持续挑战


专家讨论:这是DVCon小组讨论开放源码时代的验证系列文章的最后一部分。它使讨论超越了小组讨论中发生的事情,并利用了一些已经提出的问题,但由于缺乏时间,这些问题从未呈现给小组成员。Axiomise首席执行官Ashish Darbari参与了讨论;哔叽L…»阅读更多

SystemC/ c++验证的形式化解决方案


OneSpin Solutions提供其流行的360 DV形式化验证产品线,允许对SystemC/ c++设计表示进行自动检查和完全基于断言的验证。该解决方案扩展了验证功能,可以应用于抽象设计,在SystemC/ c++中编码,用于许多不同的使用模型。本白皮书描述了OneSpin解决方案…»阅读更多

融合:嵌入式系统的闭环性能与能量仿真


能源驱动计算是一种新兴范式,旨在推动小型低成本物联网传感和监控设备的普及。能源驱动的计算机通常由能量收集源提供动力,并根据能源可用性调整其运行时的操作;因此,它们必须根据其电源的预期动态进行设计和测试。然而,托托…»阅读更多

优化机器学习的新方法


随着越来越多的设计师在他们的系统中使用机器学习(ML),他们正在从简单地让应用程序工作转向优化其实现的功能和性能。目前已有一些技术可用。另一些则需要时间来渗透设计流程和工具,然后才会被主流设计师使用。任何新技术都遵循一个基本的…»阅读更多

←老帖子
Baidu