跳到正文

NEWS / 动态

#Synopsys

按时间浏览,使用右上角筛选切换领域。

11月2日周一
  1. Semiconductor Engineering30
    Semiconductor Engineering的报道配图

    左移正演变为系统级问题:Synopsys、Silvaco、Axiomise、Hiveware 专家谈验证与验证扩展

    Semiconductor Engineering 圆桌讨论指出,左移正从验证扩展到系统级验证,工具与模型割裂的工作流让已通过验证的组件仍出现 bug 逃逸。Synopsys 的 Frank Schirrmeister 认为智能体 AI 可改善跨学科协调、识别瓶颈并优化工具使用,但无法取代仿真和硬件仿真等基础流程。

10月29日周四
10月28日周三
  1. Semiconductor Engineering38

    半导体模型能隐藏多少信息?

    先进封装让工艺行为跨越公司边界,一家供应商隐藏的内容会影响另一家公司的预测,而加密与抽象虽能保护配方,却不告知接收方模型何时失效。PDF Solutions、Brewer Science、Amkor、ASE 与 Silvaco 等公司人士讨论如何在共享模型与保护工艺 IP 之间划定边界,并指出模型可能准确却不适配所问问题,其适用范围应与模型本身一同交付。

10月21日周三
  1. Accellera Systems Initiative58

    Accellera 批准功能安全语言标准 FSL LRM 1.0 发布

    Accellera 批准功能安全语言标准 FSL LRM 1.0 发布,该标准提供数据模型驱动的语言,用于编写和交换 FMEDA 数据,包括失效模式、安全机制和安全指标。Agnisys、Intel、Siemens EDA 和 Synopsys 在引述中表示支持,并称该标准有助于弥合 ISO 26262 与 IEC 61508 要求同数据采集共享方式之间的差距,提升半导体供应链的互操作性与可追溯性。

8月20日周四
5月18日周一
  1. IEEE TCAD38

    基于CNTFET的非平衡三进制全加器架构:设计与应用

    该文提出一种采用多阈值碳纳米管场效应晶体管(CNTFET)技术、由42个晶体管实现的三进制全加器(TFA)架构。Synopsys HSPICE在0.9 V下的电路级仿真显示,与现有先进设计相比,该TFA功耗降低35.8%–75.2%、能耗降低21.6%–70%,蒙特卡洛仿真表明其对关键CNTFET工艺参数变化的敏感度最低,代价是适度的延迟开销和布局面积增至1.85倍。

5月12日周二
4月20日周一
  1. Axiomise 官方动态38
    Axiomise 官方动态的报道配图

    Axiomise 基于智能追踪器抽象的串行数据包设计穷尽形式验证案例

    Axiomise 的 Ashish Darbari 以案例形式展示了如何用形式验证穷尽验证串行数据包设计。这类设计因每个数据包状态依赖此前所有在途数据包的历史而难以验证,作者采用智能追踪器(smart tracker)抽象,结合不变量作为辅助属性与 assume-guarantee 流程,在保证不遗漏合法行为缺陷的同时改善证明收敛。

3月6日周五
2025年11月26日周三