在功能验证机器学习应用的调查


功能验证计算和数据密集型的自然,让它自然的目标机器学习应用。本文提供了一个全面和最新的阵线毫升可寻址的问题。在分析各种毫升技术和算法,一些新兴的具有出众的阵线的潜能。尽管有前途的研究结果,criti……»阅读更多

新技术加速Multi-Die系统仿真


AI-powered聊天机器人。机械制造设备。自动驾驶汽车。像这样的超宽带视频应用程序并且开车从单片芯片系统(soc) multi-die系统。通过集成多个模具,或chiplets,成一个包,设计师可以实现系统功能的扩展风险降低和更快的上市时间。Multi-die……»阅读更多

软件的真实成本的变化


安全被认为是重要的在越来越多的市场和应用程序。准则实施的过程用于开发的硬件或软件,但他们似乎忽略的是,既不存在于真空中。放在一起时,他们形成一个系统。当我还是为硬件软件开发工具co-verification,有相当有限…»阅读更多

欢迎来到EDA 4.0和AI-Driven革命


于丹,哈里·福斯特和Tom Fitzpatrick欢迎EDA 4.0的时代,我们正在见证一个革命性的转变在电子设计自动化由人工智能的力量。EDA的历史可以被描述成不同时期的重大技术进步推动更快的迭代设计,提高了生产率,傅……»阅读更多

毫升能帮助验证吗?也许


功能验证产生大量的数据,可以用来训练机器学习系统,但它并不总是清楚哪些数据是有用的或是否能帮助。毫升的挑战是了解何时何地使用它,以及如何将它与其他工具和方法。足够大的锤,它很容易调用一切一个钉子,就扔……»阅读更多

人工智能提高破碎的过程?


验证从根本上是比较两个模型,每个独立推导,找出是否有任何两个模型之间的不同的行为表现。这些模型代表了预期设计之一,另一个是testbench的一部分。在一个理想的流,设计模型将来自规范,和设计过程的每个阶段将添加其他deta……»阅读更多

设计范式转向提高验证效率


我们正处在一个危机之间日益增长的差距验证效率和有效性。这场危机无法通过验证方法和技术的改进解决孤独。事实上,它需要一个哲学方式的改变我们的方法设计,强调缺陷预防。我们称这个根本性的改变为设计使用intent-fo…»阅读更多

加速验证左移位与智能覆盖优化


功能验证主导半导体开发、项目时间和资源的消耗比例最大。团队成员看设计缺陷发现率,考虑轶事信息类型的bug,逃到硅在以前的项目中,并使用他们最好的判断根据自己多年的经验来确定当磁带。最重要的是,他们看v……»阅读更多

一个方法来验证功能、安全性和信任RISC-V内核


现代处理器的设计呈现出的一些困难的硬件验证的挑战。这些挑战尤其急性RISC-V处理器核心设计,与大范围的变化和实现大量的来源。本文描述了一个验证方法可用RISC-V核心供应商和集成这些核心芯片系统(SoC)团队。它……»阅读更多

ASIC /集成电路验证趋势关注硅谷成功的因素


终于我们来到最后一个部分的系列文章的第1部分介绍的结果威尔逊研究小组2020年的功能验证研究。在本文中,我们讨论验证趋势IC /语言和库采用ASIC,低功率管理和验证有效性。然后我们把两个有些奇怪现象深入探讨了数据显示:…»阅读更多

←旧的文章
Baidu