Formal-Based方法高效RISC-V处理器验证


RISC-V允许定制和扩展的开放的体系结构和微体系结构基于RISC-V核心,以满足特定的需求。这对设计自由也将验证责任越来越多的开发者社区。然而,处理器验证,绝非易事。新规范结果的新颖性和灵活性在新福……»阅读更多

毫升汽车芯片设计起飞


机器学习越来越被部署的一大片的芯片和电子产品在汽车、改善标准部件的可靠性和创造的极其复杂的人工智能芯片中使用越来越多的独立应用程序。在设计方面,大多数的EDA工具今天依靠强化学习,人工智能的机器学习子集教机器…»阅读更多

加速覆盖率与基于ai验证关闭空间优化


保险是现代半导体验证所有的核心。没有格言更根本的这个过程,而不是“如果你没有锻炼,你还没验证。“虽然覆盖芯片设计的一个特定方面无法保证所有的bug被发现- bug影响传播和检查质量也是关键因素——确实,错误不能阿宝……»阅读更多

人工智能可以写RTL吗?


就在几个月前,生成AI只是承诺什么可能在未来。今天,几乎每个人都与一盎司的好奇心尝试ChatGPT。大多数人似乎有点留下了深刻的印象,能做什么,但同时看到它的局限性。几家公司的创始人迪恩Drako,告诉我:“最近,我需要写一篇专利。我描述t…»阅读更多

RISC-V驾驶新的验证概念


半导体工程坐下来讨论缺口所需工具和新方法为什么RISC-V处理器,与皮特•荷迪集团产品管理主管节奏;副总裁Mike Eftimakis Codasip策略和生态系统;创始人兼首席执行官西蒙•Davidmann治之软件;斯文拜尔,项目经理在西门子EDA处理器验证;Kiran Vittal,……»阅读更多

需要什么安全芯片


专家在餐桌上:半导体工程坐下来谈谈如何验证一个半导体设计将是安全的,与迈克·Borza Synopsys对此科学家;产品经理约翰•Hallman信任在西门子EDA和安全;皮特•荷迪集团产品管理主管节奏;营销副总裁Paul Karazuba Expedera;首席执行官和戴夫Kelf Breker验证……»阅读更多

RISC-V验证的必要工具吗?


半导体工程坐下来讨论RISC-V处理器的验证与皮特•荷迪集团产品管理主管节奏;副总裁Mike Eftimakis Codasip策略和生态系统;创始人兼首席执行官西蒙•Davidmann治之软件;斯文拜尔,项目经理在西门子EDA处理器验证;高级主管Kiran Vittal联盟伙伴……»阅读更多

人工智能在芯片设计变得更加突出


半导体工程坐下来讨论人工智能的作用在管理数据和改进设计,和它的寻路中发挥的作用日益重要,防止沉默数据损坏,迈克尔·杰克逊,公司研发副总裁节奏;副总裁Joel萨姆纳半导体和电子工程在国家仪器;优雅,产品和工程经理元……»阅读更多

RISC-V扰乱EDA


电子设计自动化(EDA)行业始于1980年代,主要是由测试和PCB行业。测试行业专注于仿真,测试向量集可以开发和优化。PCB行业需要帮助管理复杂性系统大小了。这种复杂性很快被集成电路的复杂性和成本使雾……»阅读更多

如何人工智能驱动器更快First-Time-Right硅验证覆盖率和调试吗


由Taruna Reddy和罗伯特·鲁伊斯,这个问题与其说是AI能做什么和不能做什么。从街谈巷议聊天机器人就像ChatGPT到自动驾驶汽车,人工智能已经成为普遍的在我们的日常生活。甚至行业,它也许是一个不太可能的健康,像芯片设计,正受益于更大的智慧。如果其中最费力,time-co……»阅读更多

←旧的文章
Baidu