EEJournal

亚搏体亚搏
现在就订阅

虚拟验证自助餐

可移植刺激、UVM模型和形式化验证的趋势

拉把椅子过来。尝一尝。来加入我们吧。生活是如此无穷无尽的美味。——Ruth Reichl

你准备好迎接一场虚拟的验证盛宴了吗?希望如此。在本周的Fish Fry节目中亚搏体亚搏,我们将尽可能多地验证我们的播客。首先,Anupam Bakshi (Agnisys)加入我们讨论寄存器规范、自动内存验证和UVM模型集成。接下来,Dave Kelf (Breker)提供了一些关于他们的新Trek Five产品的令人愉快的细节,便携式刺激的历史,以及Breker如何成为Accellera便携式刺激组的一部分。最后,Vladislav Palfy加入我们讨论正式验证领域的最大趋势。

下载本集(右击并保存)

2018年8月2日链接

更多关于Agnisys的信息

更多关于Breker的信息

更多关于OneSpin的信息

点击这里浏览鱼苗档案。亚搏体亚搏

点击这里通过Podbean订阅Fish 亚搏体亚搏Fry

点击这里获取“鱼苗”RSS订阅亚搏体亚搏

点击这里通过iTunes订阅《Fish 亚搏体亚搏Fry》

亚搏体亚搏鱼苗公司高管访谈

达林·比勒贝克,莱迪思半导体公司首席执行官

Anupam Bakshi, Agnisys首席执行官

Dave Kleidermacher, Green Hills Software的CTO

罗伯特•布莱克,Achronix公司首席执行官

杰克·哈丁,微软首席执行官

Michiel lighthart, Verific首席运营官

Adnan Hamid, Breker Technologies首席执行官

Jeff Waters, Altera副总裁兼总经理

Simon Davidmann, Imperas首席执行官

Ted Miracco, SmartFlow合规解决方案首席执行官

Jessica Gomez - Rogue Valley Microdevices

希什帕尔·拉瓦特,Accellera系统倡议主席

凯文·布朗伯,myDevices首席执行官

Daniel Hansson, Verifyter首席执行官

Mark Papermaster, AMD的CTO

大卫·弗里德,CTO - covenor

Valencell总裁Steven LeBoeuf博士

David Dutton, Silvaco首席执行官

Bob Niemiec, TwistThink的首席执行官

艾伦马丁森,首席运营官-星舰科技

刘志宏,ProPlus Solutions董事长兼首席执行官

Taher Madraswala, Open-Silicon首席执行官兼总裁>

Kapil Shankar, AnDAPT首席执行官兼董事

Dan Fox, CTO - Local Motors

留下回复

有特色的博客
2022年12月16日
RF团队“μWaveRiders”博客系列是一个Cadence AWR RF产品的展示。每个月的主题将不同于Cadence AWR设计环境发布的亮点、专题视频和焦点,以及软件技巧、技巧和定制。订阅接收…
2022年12月15日
看完这个视频后,我非常想创建我自己的电磁/水浴相控阵实现....
2022年12月15日
探索高性能计算的关键组件,并学习如何在HPC集群和系统中设计可靠性、可用性和可服务性(RAS)。关于高性能计算机的可靠性,可用性和可服务性,你需要知道什么…
2022年12月14日
随着每一个新的工艺节点的出现,都需要更复杂的要求来确保硅的工作。……

有特色的视频

基于软件的自检作为处理单元的安全机制

Synopsys对此

了解Synopsys ARC软件测试库如何帮助您在动力和区域预算范围内进行高性能安全关键型汽车设计。

了解更多

特色粉笔谈话亚博里的电子竞技

工业以太网下一代连接

逮老鼠的电子产品而且安费诺国际刑事法庭

在工业4.0的新时代,分层沟通模式不再有效。我们需要研究一个独立的通信模型,该模型包括一个以工业以太网为核心的单一网络。在这集Chalk Talk中,Amel亚博里的电子竞技ia Dalton与Peter Swift讨论了Amphenol的SPE和iX工业连接器家族。他们仔细研究了这些连接器解决方案的细节,并研究了为什么它们非常适合下一代工业自动化应用。

点击这里了解更多关于安费诺ICC工业以太网连接器和电缆组件的信息

Baidu