公开(公告)号：CN117852494B

公开(公告)日：2024-07-09

申请号：CN202410263515.4

申请日：2024-03-08

申请人： 中科鉴芯(北京)科技有限责任公司

发明人： 汤家平 ,  叶靖

IPC分类号： G06F30/398

摘要： 本申请涉及一种针对DFF优化的逻辑仿真加速方法和装置，所述方法包括：若电路门的当前输出值和上一次的输出值不一致，则将所述电路门产生的事件加入事件队列；根据所述电路门对应的扇出门的类型，将所述扇出门加入所述事件队列或DFF标识队列，其中，所述扇出门是指所述电路门的直属下级模块；在所述事件队列中的事件处理完成后，若确定所述DFF标识队列不为空，则根据所述DFF标识队列中DFF的输入端口变化信息确定所述DFF是否为有效事件；若所述DFF为有效事件，则将所述DFF标识队列中的有效事件加入至所述事件队列，对所述有效事件进行处理。本申请提高仿真性能。

公开(公告)号：CN118917040A

公开(公告)日：2024-11-08

申请号：CN202410839155.8

申请日：2024-06-26

申请人： 中科鉴芯(北京)科技有限责任公司

发明人： 谷丰 ,  王铭珺 ,  汤家平 ,  王辉 ,  叶靖

IPC分类号： G06F30/20 ,  G06F11/26

摘要： 本申请涉及一种适用于永久固定型故障和瞬间固定型故障的通用仿真方法，方法包括：获取指定的故障时间属性，其中，故障时间属性包括故障发生时刻和故障持续时长；确定故障发生时刻之前最近一次时间帧对应的第一时刻，其中，时间帧为输入端口发生变化的时间点，第一时刻用于进行故障注入；根据故障发生时刻和故障持续时长确定故障消失时刻，并确定故障消失时刻之后最近一次时间帧对应的第二时刻，第二时刻进行用于故障消除；采用预设的仿真算法，基于故障注入的第一时刻和故障消除的第二时刻进行瞬间固定型故障的仿真，或基于故障持续时长进行永久固定型故障的仿真。本申请适用于永久固定型故障仿真与瞬态固定型故障仿真，具有仿真通用性。

公开(公告)号：CN117852494A

公开(公告)日：2024-04-09

申请号：CN202410263515.4

申请日：2024-03-08

申请人： 中科鉴芯(北京)科技有限责任公司

发明人： 汤家平 ,  叶靖

IPC分类号： G06F30/398

摘要： 本申请涉及一种针对DFF优化的逻辑仿真加速方法和装置，所述方法包括：若电路门的当前输出值和上一次的输出值不一致，则将所述电路门产生的事件加入事件队列；根据所述电路门对应的扇出门的类型，将所述扇出门加入所述事件队列或DFF标识队列，其中，所述扇出门是指所述电路门的直属下级模块；在所述事件队列中的事件处理完成后，若确定所述DFF标识队列不为空，则根据所述DFF标识队列中DFF的输入端口变化信息确定所述DFF是否为有效事件；若所述DFF为有效事件，则将所述DFF标识队列中的有效事件加入至所述事件队列，对所述有效事件进行处理。本申请提高仿真性能。