系统与设计
的意见

DAC 2018:系统设计、云计算和机器学习

如何准确的预测是可互操作的模型和设计的云?

受欢迎程度

这标志着10thDAC,我作为一个博客。在阿纳海姆的2008 DAC,背后的产业刚刚一起SystemC TLM 2.0标准,使虚拟平台,最后进入模型的互操作性。系统设计的主线也出现在今年的DAC于2018年在旧金山。但是很多已经改变了。大数据分析、人工智能和机器学习EDA甚至都不可见十年前在地平线上。云是一个话题,但对其使用EDA是很多比今天多雾(双关语!)。

过去是一个重要的对未来的数据点,所以我经常回到十年(或两个)如何准确对未来我们的思想,什么东西出来的左外野,都是新的。tlm - 2.0标准的引入,十年前是一个大问题。直接内存访问的新api和量子基础仿真执行允许解耦模型移动软件开发虚拟平台上通过EDA行业更上一层楼。在十年之前,“三V的”(Virtio、庞大和Virtutech)结合ARM-AXYS,基本上和CoWare饱和虚拟平台的早期采用者。是什么阻碍市场的进一步增殖能力不再突然一个的障碍模型的互操作性。当时,我将引入tlm - 2.0的标准化Verilog硬件描述语言(VHDL),最终导致灭亡的专有的hdl与以下图片:

我建议用tlm - 2.0的引入,虚拟平台快速发展的专有api最终将取代SystemC tlm - 2.0。

10年过去了,这只是发生了。SystemC TLM2.0已经成为虚拟平台的支柱。很多高级合成基于SystemC。与此同时,我们已经增加了更多的功能启用“配置、控制和检查”的互操作性(CCI)与一个新的寄存器语言参考手册本月发布。这并不是说需要SystemC的核心模型。这是关于允许他们交互的接口。我们今天有用户愉快地快速整合模型从手臂或模型开发使用OVP api,如治之显示今年RISC-V,与IP provider-supplied接口IP的模型,作为PCIe和USB等,当然,他们自己的本土模式。SystemC使得,自营模式是过去和今年的DAC的事情证实了这一点。观察名单的一些陈述我的团队和我今年组装(见这个博客),手臂和Vayavya实验室正在谈论SystemC-interoperable模型与仿真集成。

另一个刚从standardization-the受益地区的便携式刺激(PSS)。约翰·厄尔在他的麻烦制造者面板现在指出,一个标准的选择基于节奏和导师贡献,Breker已经“重写大量的代码”成为符合标准。高通是呈现在PSS在节奏DAC剧院给更多的信息在他们使用的便携式刺激。我们现在这里,进入下一个时代的工具可以解决约束能力等能力的竞争,等等。

面板,SemiEngineer新利体育下载注册ing安Mutschler主持周一DAC(见上图),称为“聪明和更快的验证在机器学习的时代,AI和大数据分析,“关注我上面提到的两个项目:机器学习和云。这个话题值得自己的帐面价值,但讨论很有趣。验证核心引擎正式、模拟仿真和fpga原型生成大量的数据。保罗·坎宁安指出,实际上EDA刚刚学会了如何处理这个浩瀚的数据和已聘请专业知识以外的EDA。这是一个很好的时间数据科学家将在EDA和其他行业的需求。我们刚刚开始收集这些数据是描述的面板由惠普,大卫·莱西现在下一步是理解和利用它们提高验证的效率。所有这些数据需要存储在某个地方。杰夫Ohshima从东芝内存公司在闪存市场的趋势,包括其验证方面。

云公告的DAC带来了一套完整的新参展商DAC-like谷歌,亚马逊、微软和,在某种意义上,吉姆·霍根已经为明年的面板设置话题时表示,今年是关于数据收集和现有的技术,如合并覆盖率数据从不同的引擎。明年将是对人工智能和机器学习真正优化验证,和它将发生在云中。的云的公告在这个DAC给DAC带来了一组全新的参展商。

下面列出的系统设计和验证活动从这个DAC。核对我们的DAC网页,报告将发布。

Oski技术,建筑形式验证一致性的经理——一个NVIDIA的案例研究

面板:聪明和更快的验证机器学习的时代,人工智能,大数据分析
主持人:安Steffora Mutschler、半导体工程
小组成员:吉姆•霍根Vista公司,惠普企业,大卫·莱西Shigeo大岛渚,东芝公司和记忆保罗•坎宁安通用节奏

手臂-结合虚拟和物理世界处理器模型和软件调试与仿真和原型

Microsemi——Pre-Silicon SW / FW测试氕S1平台:一个案例研究

三星-调制解调器UVM加速度与钯Z1平台

高通、PSS -刺激可重用性的颠覆性技术

Netspeed,架构设计和验证你的下一代的SoC设计Netspeed和节奏

Microsemi、调试用例与虚拟调试和钯调试优势

手臂,配置和实现一个高性能的ARM基础设施系统

Vayavya实验室,使虚拟平台/模拟混合动力车使用高效TLM建模

节奏,Xcelium并行模拟

龟岛的逻辑,提高现有验证套件执行系统级的安全验证



留下一个回复


(注意:这个名字会显示公开)

Baidu