非正式的聊天室

没有理由错过任何一个节拍,在线帮助,请!

COVID-19情况迫使我们所有的人到一个新的正常的,这是从家里和协作与团队成员,合作伙伴和客户的工作网络。在公司层面,以及在个人层面上,每个人都在试图将尽可能富有成效。

继续阅读...

正式确定病毒暴露问题

作为世界上很多是实行“社会隔离”或某个版本的话,我冒昧地猜测,很多人都从扩展的隔离越来越“幽闭症”。对于我这种状况导致了工作和家庭,更有趣的是之间的模糊界限新闻报道和正式申请。

继续阅读...

在技​​术的驱动棱边

这是一个美丽的阳光灿烂的日子和交通的M40清淡使其成为一个美妙的车程威勒尔。我的妻子在浏览在Spotify上,我正忙着变换车道,并有来电时通过。我的妻子接了电话,我的车在显示屏闪烁,然后冻结!我很快意识到,除了油门和刹车每一个电气系统失败了。在70英里每小时的高速公路的恐惧和惊慌了一身冷汗抓住我,我改变车道谨慎,护理车的另一个​​10英里到最近的维修站。真实的故事!值得庆幸的是没有任何不幸的事情到底。该车恢复正常,我们做了一个汽车的操作系统的“重启”后。

继续阅读...

VC正式SIG 2019:如果你想正式的 - 你得到它!

首先是伍德斯托克。然后来到格拉斯顿伯里的Coachella。但是在节日日历任何情况下,也许是这样被尊为硅谷每年VC正式SIG(特别兴趣小组)活动。好吧,也许这就是在上面一点点,但它是一个伟大的事件。这一天是充满了标题的作用每个在这自己独特的旋转一次地下流派已经暴涨的方式向主流 - 形式化验证。

继续阅读...

我懒得看......告诉我的视频

当我上次打开一本技术手册或文件抬头怎么做我不记得了。也许是当我在1999年买了一个56K调制解调器连接到万维网。

继续阅读...

SNUG硅谷2019:形式化验证更新

和去年一样,我们不得不上个月我们在年度SNUG事件提交的论文数量。我们有一个专门的形式验证的轨道,其中有来自客户的3篇论文和Synopsys的1个教程。manbet万博官网在AI / ML平行的轨道,我们有来自Synopsys额外的教程,我们讨论了如何正式是最适合使用的机器学习技术。manbet万博官网

继续阅读...

不留石AIP + VIP千方百计

正在验证复杂的AI或网络芯片,发现测试失败由于记分牌交易或包不匹配。作为验证工程师,你会庆祝,你打破了核心设计意图和发现了一个bug!在那之后的发现调试的小时/天,所有是AHB的信号/ AXI接口未连接或一个协议没有正确地遵循。不是一个真正的高效利用大家的时间,是吗?

继续阅读...

21世纪电力SEQers

对于IC设计,现在有一阵子功耗一直是一个重要的考虑因素。今天的移动设备更强大,比他们去过。我可以流电影,点菜,获得转由转动方向,并在我的口袋里使用单个设备采取令人难以置信的质量的照片和视频......只要我可以使它的一天结束无电池运行持平。没有人愿意成为一个重要的电子邮件的中央时,屏幕突然黑屏,我敢肯定我不是唯一一个谁不见了潜入一间咖啡厅,都是因为它的电源插座!这些天来,我们都住在一起功率焦虑和第六感少量的追捕USB插座和电源。用燃烧的力量庞大数量的服务器,在那里结合这一点,它毫无疑问,最现代的设计师总是希望找到动力和性能的那个微妙的平衡。

继续阅读...

你没有把我的话:机器学习在形式化验证的地方

就在一年前,我写了一篇博客有关的机器学习(ML)算法的影响,以提高形式化验证的性能。该博客的数据是一组复杂的基准第一手经验。该数据是惊人的,很有说服力,但是当我写的博客读者需要“信任”作为我的数据可能无法公开分享。

继续阅读...

世界杯冠军和形式验证在DAC 2018

什么令人兴奋的2018年世界杯!全世界都在盯着电视。人们暗暗为自己喜爱的球队和在受到众多玩家表现出的能力肃然起敬。今年的DAC事件的世界杯精神提醒,就在几个星期前。

继续阅读...