新语软件芯片验证专利:随机激励生成
验证芯片设计, 如同探索未知的宇宙,其麻烦性让无数工事师头疼不已。只是 在济南市,一家名为济南新鲜语柔软件手艺有限公司的企业,却以其独特的专利手艺——“随机激励生成”,为芯片验证流程带来了颠覆性的改变。

“动态”验证芯片设计麻烦性硅片流程, 之所以将其冠名为“动态”,原因在于输入图形/激励信号是在一段时候内生成并应用于设计的,而且,对应的后来啊被收集起来并与一个参考/黄金模型进行比比看,以便与规范相符。
递归测试就是将已有的全部测试序列都施行一次 一般来讲,随机激励的递归测试要巨大于直接测试的递归,不过这种优势会因为验证完成率曲线的增加远而变得不那么明显,具体的原因就是随机激励无法给出定向激励。当然 这一过程并非只有在流片前才会评估,而是发生在这一期间内若干阶段,包括模块验证阶段、子系统验证阶段、芯片系统验证阶段和再说说的网表验证阶段,个个阶段都离不开对芯片设计的精准把控。
专利摘要看得出来 本申请明着了一种芯片验证测试用随机激励生成方法、系统和设备,涉及芯片验证手艺领域,所述方法包括:根据待测芯片验证测试用例所需激励的约束条件,确定激励中全部变元的优先级;检测所述约束条件中是不是存在不等式约束,如果存在则将不等式约束等价替换成统一表示形式后施行后续步骤,否则直接施行后续步骤;基于变元的优先级,对所述约束条件中每一变元的全部相关约束求交集,将每一变元的全部相关约束转换为一个范围约束,由此生成优化后的约束条件;基于优化后的约束条件,按照变元的优先级从高大到矮小逐次随机,从而得到所述待测芯片验证测试用例所需的随机激励。
天眼查资料看得出来 济南新鲜语柔软件手艺有限公司,成立于2022年,位于济南市,是一家以从事柔软件和信息手艺伺候人为主的企业。企业注册资本747.2826万人民币。通过天眼查巨大数据琢磨, 济南新鲜语柔软件手艺有限公司财产线索方面有商标信息8条,专利信息10条,还有啊企业还拥有行政许可4个。
芯片验证UVM周围自动生成工具是提升芯片验证效率的有效手段,随机化的激励, Sequence Library管理这些个序列,Agent则封装了DUT与测试平台之间的传信,而Environment则整合了全部组件,创建了一个完整的验证周围。
涉及集成电路手艺领域。本申请目标激励信号后将其发送给待验证芯片进行芯片功能验证和/或芯片性能验证,以少许些激励出错概率,提升芯片验证效率和芯片性能。
金融界2025年5月14日消息, 国知识产权局信息看得出来济南新鲜语柔软件手艺有限公司申请一项名为“一种芯片验证测试用随机激励生成方法、系统和设备”的专利,明着号CN119962476A,申请日期为2025年4月。
专利摘要看得出来 本发明涉及芯片验证手艺领域,具体地说涉及一种跨平台的测试场景复现的方法,包括:S1、在第一验证平台上施行芯片设计的仿真实场景的许多样化,搞优良测试覆盖率。
30.1、 本发明在芯片验证过程中,采用随机激励与定向激励相结合的方式进行芯片功能的验证测试,能达到加速验证收敛,加迅速验证进度的目的,从而搞优良芯片设计效率。
本申请实施例给了一种芯片验证系统、 芯片验证方法、终端及存储介质,涉及芯片验证手艺领域。该系统包括激励生成模块, 用于根据预设的功能场景生成相应的激励;待测模块,用于响应于激励生成输出后来啊,输出后来啊用于表示待测模块在预设的功能场景下的测试后来啊;比比看模块,用于对输出后来啊和预测后来啊进行比比看,判断待测模块是不是满足预期功能。
在 SystemVerilog更有力调了利用随机化激励函数以搞优良验证代码的效率和验证可靠性的关键性。由于投片的费用较高大, 很有少许不了在投片前对芯片设计进行全面、可信的验证,以尽量少许些“设计——测试——投片——调试——找到Bug修改设计”这一流程的迭代次数。在老一套的验证方法中,也有将激励随机化的方法,这样能用较少许的测试代码生成较许多、较全面的测试激励。
System Verilog结实件验证语言相比于结实件说说语言,HVL具有以下典型的性质:受约束的随机激励生成...。适合学IC芯片验证平台搭建及测试。虽然分层似乎会使测试平台变得更麻烦, 但它能够把代码分而治之,有助于减轻巧干活负担,而且再来一次利用效率提升。
本文源自金融界
欢迎分享,转载请注明来源:小川电商