对电子装置的安全电路进行仿真的方法

    公开(公告)号:CN109308367A

    公开(公告)日:2019-02-05

    申请号:CN201711085745.2

    申请日:2017-11-07

    Abstract: 本揭露的电子系统层次(electronic system level,ESL)设计及验证用于提供电子装置的功能安全及故障管理的电子仿真及建模。一种对安全电路进行仿真的方法包括:根据电子设计规范提供电子架构设计,以执行所述电子装置的一种或多种功能行为。所述方法进一步包括对所述电子架构设计的安全电路以及所述电子架构设计的与安全电路进行通信的一个或多个其他电子电路进行建模。所述方法进一步包括在所述电子架构设计正在执行所述一种或多种功能行为的同时,使用所述建模对安全电路的运行进行仿真。所述方法也包括判断安全电路的被仿真的运行是否满足所述电子设计规范。

    堆叠管芯互连验证
    9.
    发明授权

    公开(公告)号:CN103123659B

    公开(公告)日:2016-06-29

    申请号:CN201210129812.7

    申请日:2012-04-27

    Abstract: 一种系统,包括:自动布局布线工具,基于门级电路描述生成集成电路(IC)管芯的布局。机器可读永久性存储介质包括:第一部分,通过分别在第一和第二IC管芯上形成的第一和第二电路图案的第一门级描述编码;以及第二部分,通过从工具接收的多个电路图案的第二门级描述进行编码。第二门级描述包括电源和接地端口,并且第一门级描述不包括电源和接地端口。由处理器实现的验证模块被提供用于比较第一和第二门级描述,并且如果第二门级描述存在错误则该验证模块输出错误报告。验证模块输出第一和第二电路图案的经过验证的第二门级描述。本发明还提供了一种堆叠管芯互连验证。

Patent Agency Ranking