CN1658381A - 一种逻辑故障注入的方法和装置 - Google Patents

Abstract

本发明提供一种逻辑故障注入的方法，包括：确定引起逻辑故障的因素；分别确定所述各因素引起逻辑故障的故障模式；根据所述故障模式建立用于随机注入逻辑故障的逻辑故障注入模块；当需要对逻辑设计进行逻辑故障注入时，确定逻辑故障注入需求；所述逻辑故障注入模块根据所述逻辑故障注入需求向所述逻辑设计注入相应的逻辑故障。本发明还提供一种逻辑故障注入的装置，包括：获取故障注入需求模块、逻辑故障注入模块。本发明可满足用户对逻辑设计的各种逻辑故障的注入需求，提高了发现逻辑设计的设计缺陷的几率；从而实现了缩短逻辑器件的开发周期、降低逻辑器件开发成本的目的。

Description

一种逻辑故障注入的方法和装置

技术领域

本发明涉及半导体技术领域，具体涉及一种逻辑故障注入的方法和装置。

背景技术

随着半导体技术的不断发展，单位面积硅片上集成的晶体管数目越来越多，逻辑器件的特征尺寸已降到深亚微米级，从FPGA(现场可编程逻辑阵列)、ASIC逻辑器件(专用集成电路)，到SoC(片上系统)，逻辑器件的设计规模越来越大，逻辑器件的逻辑结构越来越复杂，逻辑器件实现的功能也越来越多。为了验证逻辑器件的设计是否正确、逻辑器件的设计性能是否达到预定要求，需要对逻辑设计进行逻辑验证。

由于以往逻辑器件的设计规模不大，传统的对逻辑设计的逻辑验证方法往往采用直接验证的方法，该方法对逻辑设计的验证的重点在逻辑器件的基本功能上。随着逻辑器件设计规模的增大，逻辑设计中各逻辑模块之间的相互关联也随之增多，要使得越来越多的逻辑模块能正常工作，按传统的验证方法，其需要进行逻辑验证的测试向量数目将成几何级增长。

在实际应用中，由于逻辑器件往往受到上市时间的限制，所以对一个逻辑器件设计功能的验证也同样会受到时间的限制，如何在最短的时间内发现逻辑器件的设计缺陷，已成为逻辑设计的逻辑验证中的一个重要课题。

由于采用逻辑故障注入可以有效地发现逻辑设计中的设计缺陷，所以逻辑故障注入在逻辑设计的逻辑验证中已越来越重要。

目前，现有的逻辑仿真工具如NCSim、ModelSim等，提供了一些强制命令如force/release，在对逻辑设计进行逻辑验证时，这些命令可以将一定功能的逻辑故障注入逻辑设计中。但是这些强制命令的功能简单，不能快速、有效、全面的发现逻辑设计的设计缺陷。而且，这些逻辑仿真工具中的故障注入的方法没有为用户提供逻辑故障注入方法学上的支持，对逻辑故障注入没有一个全面的、整体的设计，无法满足用户在对逻辑设计进行逻辑验证过程中的故障注入需求，最终导致逻辑器件的开发周期长、开发成本高。

发明内容

本发明提供一种逻辑故障注入的方法和装置，以克服现有技术中不能快速、全面的发现逻辑设计的设计缺陷的缺点。

为达到上述目的，本发明提供如下技术方案：

一种逻辑故障注入的方法，该方法包括：

a、确定引起逻辑故障的因素；

b、分别确定所述各因素引起逻辑故障的故障模式；

c、根据所述故障模式建立用于随机注入逻辑故障的逻辑故障注入模块；

d、当需要对逻辑设计进行逻辑故障注入时，确定逻辑故障注入需求；

e、所述逻辑故障注入模块根据所述逻辑故障注入需求向所述逻辑设计注入相应的逻辑故障。

所述步骤a中的因素包括：操作错误、协议错误、单元电路可靠性设计、业务冲击、外部器件故障、器件内部故障、电磁兼容/干扰、环境应力。

所述协议错误包括：业务数据包长错误、业务数据控制/状态域错误、业务数据叠加干扰错误、物理层协议错误；

所述单元电路可靠性设计包括：先进先出电路故障、状态机电路故障；

所述器件内部故障包括：时钟电路失效、器件失效；

所述环境应力包括：温度、振动。

所述步骤b包括：

所述操作错误引起逻辑故障的故障模式包括：对无效地址空间的访问、表项配置顺序错误、非法配置；

所述业务数据包长错误引起逻辑故障的故障模式包括：超短包、超长包、临界包长；

所述业务数据控制/状态域错误引起逻辑故障的故障模式包括：数据错误、数据非法、数据越界；

所述物理层协议错误引起逻辑故障的故障模式包括：信号时序超前、信号时序滞后、接口信号有效宽度异常、组合时序异常；

所述先进先出电路故障引起逻辑故障的故障模式包括：溢出、地址越界；

所述状态机电路故障引起逻辑故障的故障模式包括：状态机处于非法状态、状态机处于吊死状态；

所述业务冲击引起逻辑故障的故障模式包括：业务大流量冲击、错误业务流量冲击、非法攻击、CBR(恒定速率业务)断流；

所述外部器件故障引起逻辑故障的故障模式包括：接口信号常高、接口信号常低、接口信号高阻、接口信号短路、接口信号无响应；

所述时钟电路失效引起逻辑故障的故障模式包括：时钟电路无输出、输出时钟频率不正常、输出时钟信号质量差；

所述器件失效引起逻辑故障的故障模式包括：BlockRAM(存储器块)失效、CLB(逻辑单元块)失效、管脚断裂；

所述电磁兼容/干扰引起逻辑故障的故障模式包括：信号常高、信号常低、信号高阻、毛刺、时序错误、信号线搭接；

所述温度引起逻辑故障的故障模式包括：高温失效、低温失效；

所述振动引起逻辑故障的故障模式包括：管脚断路、管脚搭接。

所述的步骤c包括：

c1、根据所述操作错误引起的故障模式建立向应用层数据随机注入逻辑故障的可运行脚本平台；

c2、根据所述业务数据包长错误、业务数据控制/状态域错误、业务数据叠加干扰错误、业务冲击引起的故障模式建立向业务层激励数据随机注入逻辑故障的子模块；

c3、根据所述物理层协议错误、单元电路可靠性设计、业务冲击、外部器件故障、器件内部故障、电磁兼容/干扰、环境应力引起的故障模式建立向物理层激励随机注入逻辑故障的子模块。

所述的步骤c3包括：

建立预定条件下注入单个/多个毛刺子模块；

建立预定条件下强制信号为固定值子模块；

建立预定条件下强制信号反相子模块；

建立预定条件下强制信号延迟子模块；

建立强制产生时钟信号子模块；

建立强制状态机翻转子模块；

建立预定条件下注入单个/多个异常数据子模块。

所述预定条件包括：指定时间和/或指定时间间隔和/或指定事件。

一种逻辑故障注入装置，该装置包括：

获取故障注入需求模块：获取逻辑设计的逻辑故障注入需求，并将所述逻辑故障注入需求传输至逻辑故障注入模块；

逻辑故障注入模块：根据所述获取故障注入需求模块传输来的逻辑故障注入需求将相应的逻辑故障注入所述逻辑设计。

所述的逻辑故障注入模块进一步包括：

应用层故障注入平台：根据所述获取故障注入需求模块传输来的向应用层层数据注入逻辑故障的需求将相应的应用层数据逻辑故障注入所述逻辑设计；

业务层故障注入子模块：根据所述获取故障注入需求模块传输来的向业务层激励数据注入逻辑故障的需求将相应的业务层激励数据逻辑故障注入所述逻辑设计；

物理层故障注入子模块：根据所述获取故障注入需求模块传输来的向物理层激励注入逻辑故障的需求将相应的物理层激励逻辑故障注入所述逻辑设计。

所述的物理层故障注入子模块进一步包括：

预定条件下注入单个/多个毛刺子模块：根据所述获取故障注入需求模块传输来的向物理层激励注入毛刺的需求在预定条件下向所述逻辑设计随机注入单个/多个毛刺；

预定条件下强制信号为固定值子模块：根据所述获取故障注入需求模块传输来的将信号强制为固定值的需求在预定条件下将信号强制为固定值，并注入所述逻辑设计；

预定条件下强制信号反相子模块：根据所述获取故障注入需求模块传输来的将信号反相的需求在预定条件下将信号强制反相，并注入所述逻辑设计；

预定条件下强制信号延迟子模块：根据所述获取故障注入需求模块传输来的将信号延迟的需求在预定条件下将信号强制延迟，并注入所述逻辑设计；

强制产生时钟信号子模块：根据所述获取故障注入需求模块传输来的产生时钟信号的需求强制产生时钟信号，并注入所述需要验证的逻辑设计；

强制状态机翻转子模块：根据所述获取故障注入需求模块传输来的状态机翻转的需求强制状态机翻转；

预定条件下注入单个/多个异常数据子模块：根据所述获取故障注入需求模块传输来的向数据总线注入异常数据的需求在预定条件下向数据总线中的数据随机注入单个/多个异常数据。

通过上述技术方案的描述可明显得知，本发明通过对各逻辑故障的全面认识，归结导致各逻辑故障的各种因素，建立了一套可随机、分层、全面进行逻辑故障注入的方法，使用该方法可满足用户对逻辑设计的各种逻辑故障的注入需求，提高了发现逻辑设计的设计缺陷的几率；从而实现了缩短逻辑器件的开发周期、降低逻辑器件开发成本的目的。

附图说明

图1是本发明的引起逻辑故障的各因素示意图；

图2是本发明的逻辑验证中逻辑故障注入装置。

具体实施方式

本发明的核心思想是：确定引起逻辑故障的各因素；分别确定所述各因素引起逻辑故障的故障模式；根据所述故障模式建立用于随机注入逻辑故障的逻辑故障注入模块；当需要对逻辑设计进行逻辑故障注入时，确定逻辑故障注入需求；所述逻辑故障注入模块根据所述逻辑故障注入需求向所述逻辑设计注入相应的逻辑故障。

基于本发明的核心思想，为了对逻辑器件的设计进行全面的故障注入，首先需要详尽分析诱发逻辑故障的各种因素，即确定导致逻辑故障的各种原因。然后，分别分析各因素导致的逻辑故障的故障模式，根据各故障模式可明确确定需要向逻辑设计中注入的逻辑故障，本发明根据需要向逻辑设计中随机注入的逻辑故障建立逻辑故障注入模块。由于本发明全面分析了导致逻辑故障的因素、各因素导致的逻辑故障的故障模式，所以本发明的逻辑故障注入模块可方便、快捷、全面地满足用户对逻辑设计的各种逻辑故障随机注入需求。

本发明确定诱发逻辑故障的因素包括八种，如附图1所示。

图1中，第一种为操作错误，由于操作错误引起的故障模式包括：用户的误操作、表项配置顺序错误、表项非法配置等。

用户的误操作如用户对无效地址空间的访问等。

第二种为协议错误，协议错误又包括业务数据包长错误、业务数据控制/状态域错误、业务数据叠加干扰错误、物理层协议错误。

由于业务数据包长错误引起的故障模式包括：超短包、超长包、临界包长等。

由于业务数据控制/状态域错误引起的逻辑故障包括：数据错误、数据非法、数据越界等。

数据错误如CRC(循环冗余校验码)错误等。

数据非法如数据类型非法等。

数据越界如VPI(虚路径标识)/VCI(虚信道标识)越界、与预留数据位无关/默认处理等。

由于业务数据叠加干扰引起的逻辑故障包括：叠加高斯白噪声、叠加干扰、数据饱和和溢出等。

叠加干扰如叠加单音干扰、叠加FM(调频)干扰、叠加FSK(频移键控)干扰等。

由于物理层协议错误引起的逻辑故障包括：信号时序超前、信号时序滞后、接口信号有效宽度异常、组合时序异常等。

第三种为单元电路可靠性设计，单元电路可靠性设计又包括：FIFO(先进先出)电路故障和状态机电路故障。

由于FIFO电路故障引起的故障模式包括：上溢、下溢、地址越界、地址错位等。

由于状态机电路故障引起的故障模式包括：状态机处于非法状态、状态机处于吊死状态等。

第四种为业务冲击，由于业务冲击引起的故障模式包括：业务大流量冲击、错误业务流量冲击、非法攻击、CBR断流等。

错误业务流量冲击如大量碎包冲击等。

第五种为外部器件故障，由于外部器件故障如接口信号故障等引起的故障模式包括：接口信号常高、接口信号常低、接口信号为高阻，接口信号短路，接口信号无响应等。

第六种为器件内部故障，器件内部故障包括：时钟电路失效、器件失效等。

由于时钟电路失效引起的故障模式包括：时钟电路无输出、输出时钟频率不正常、输出时钟信号质量下降等。

输出时钟信号质量下降如输出时钟信号发生抖动等。

由于器件失效引起的故障模式包括：BlockRAM失效、CLB失效、管脚断裂等。

第七种为EMC(电磁兼容)/干扰，由于EMC/干扰如信号线故障等引起的故障模式包括：信号线常高、常低，高阻、毛刺、时序错误、信号线搭接等。

第八种为环境应力，环境应力包括：温度、振动。

由于温度引起的故障模式包括：逻辑器件高温失效、逻辑器件低温失效等。

逻辑器件高温失效、逻辑器件低温失效会使时序紧张。

由于振动引起的故障模式包括：逻辑器件管脚断路、逻辑器件管脚搭接等。

逻辑器件管脚断路、逻辑器件管脚搭接等会使信号处于开路、高阻、不定态、常高、常低等状态。

本发明分析确定了诱发逻辑故障的八种因素和它们各自对应的故障模式之后，需要确定向逻辑设计中注入逻辑故障和注入逻辑故障的方法。

由于操作错误引起的故障模式可通过向应用层数据注入逻辑故障来体现；由于业务数据包长错误、业务数据控制/状态域错误、业务数据叠加干扰错误、业务冲击引起的故障模式可通过向业务层激励数据注入逻辑故障来体现；如将异常包长的超长包或超短包数据和正常包长的数据随机组合、将异常包长的数据和边界包长的数据随机组合注入逻辑设计；将CRC校验错、数据类型非法、信元的VPI/VCI超出范围等业务数据注入逻辑设计；在业务数据上叠加高斯白噪声或叠加单音/FM/FSK干扰或使业务数据饱和后将业务数据注入逻辑设计；由于物理层协议错误、单元电路可靠性设计、业务冲击、外部器件故障、器件内部故障、电磁兼容/干扰、环境应力引起的故障模式通过向物理层激励随机注入逻辑故障来体现；所以，本发明需要根据应用层、业务层、物理层三个层次建立用于随机注入逻辑故障的逻辑故障注入模块。

本发明建立逻辑故障注入模块的过程包括：建立向应用层数据随机注入逻辑故障的可运行脚本平台；建立向业务层激励数据随机注入逻辑故障的子模块；建立向物理层激励随机注入逻辑故障的子模块。

建立向物理层激励随机注入逻辑故障的子模块包括：建立预定条件下注入单个/多个毛刺子模块、建立预定条件下强制信号为固定值子模块、建立预定条件下强制信号反相子模块、建立预定条件下强制信号延迟子模块、建立预定条件下强制产生时钟信号子模块、建立预定条件下强制状态机翻转子模块、建立预定条件下注入单个/多个异常数据子模块。

预定条件下注入单个/多个毛刺子模块可实现在预定条件下对信号注入单个/多个毛刺。

具体包括：在指定时间对信号注入单个毛刺；在指定时间触发、在指定时间间隔内对信号随机注入多个毛刺；在指定事件之后、在指定时间触发对信号注入单个毛刺；在指定事件之后、在指定时间触发、在指定时间间隔内随机注入多个毛刺。

预定条件下强制信号为固定值子模块可实现在预定条件下将信号强制为一个预定值。

预定条件下强制信号反相子模块可实现在指定的时间内将信号反相。

预定条件下强制信号延迟子模块可实现在预定条件下将信号强制延迟。

强制产生时钟信号子模块可实现随机产生一个时钟周期、占空比、抖动、持续时间等参数可任意调整的时钟信号，对逻辑设计的工作时钟进行加扰。

强制状态机翻转子模块可实现将状态机强制翻转。

预定条件下注入单个/多个异常数据子模块可实现在预定条件下向逻辑设计的数据总线注入单个/多个异常数据。

具体包括：在指定时间向数据总线注入单个异常数据；在指定的时间触发，在指定时间间隔内向数据总线随机注入多个异常数据；在指定事件之后，指定时间触发向数据总线注入单个异常数据；在指定事件之后，指定时间触发，指定时间间隔内向数据总线随机注入多个异常数据。

本发明提供的逻辑验证中逻辑故障注入的装置如附图2所示。

在图2中，本发明的装置包括获取故障注入需求模块、逻辑故障注入模块。

逻辑故障注入模块的功能由应用层故障注入平台、业务层故障注入子模块、物理层故障注入子模块来完成。

物理层故障注入子模块的功能由注入毛刺子模块、信号强制子模块、状态强制子模块、数据总线注入错误子模块来完成。

获取故障注入需求模块获取用户对逻辑设计的逻辑故障注入需求，并将用户的逻辑故障注入需求传输至逻辑故障注入模块中相应的平台或命令。

应用层故障注入平台根据获取故障注入需求模块传输来的逻辑故障注入需求提供给用户可改变的操作对象/操作程序的平台，并接收用户通过该平台输入的命令，将该命令注入逻辑设计。

业务层故障注入子模块根据获取故障注入需求模块传输来的逻辑故障注入需求提供给用户可改变的业务层数据报文的命令，并接收用户改变的业务层数据报文，将其注入逻辑设计。

预定条件下注入单个/多个毛刺子模块根据获取故障注入需求模块传输来的逻辑故障注入需求提供给用户可随意设置预定条件的命令，然后根据用户设置的预定条件将单个毛刺/多个毛刺随机注入逻辑设计。

预定条件下强制信号为固定值子模块根据获取故障注入需求模块传输来的逻辑故障注入需求提供给用户可随意设置预定条件的命令，然后根据用户设置的预定条件将强制为固定值的信号注入逻辑设计。

预定条件下强制信号反相子模块根据获取故障注入需求模块传输来的逻辑故障注入需求提供给用户可随意设置预定条件的命令，然后根据用户设置的预定条件将信号强制反相，并注入逻辑设计。

预定条件下强制信号延迟子模块根据获取故障注入需求模块传输来的逻辑故障注入需求提供给用户可随意设置预定条件的命令，然后根据用户设置的预定条件将信号强制延迟，并注入逻辑设计。

强制产生时钟信号子模块根据获取故障注入需求模块传输来的逻辑故障注入需求强制产生一个周期、占空比、抖动、持续时间可调的时钟信号，并注入逻辑设计，对逻辑设计的工作时钟进行加扰。

强制状态机翻转子模块根据获取故障注入需求模块传输来的逻辑故障注入需求提供给用户可随意设置状态机为预定状态的命令，以进行对逻辑设计进行与状态机状态异常相关的逻辑验证。

预定条件下注入单个/多个异常数据子模块根据获取故障注入需求模块传输来的逻辑故障注入需求提供给用户可随意设置预定条件的命令，然后根据用户设置的预定条件将单个/多个异常数据随机注入逻辑设计的数据总线，以进行对逻辑设计进行与数据总线上异常数据相关的逻辑验证。

虽然通过实施例描绘了本发明，本领域普通技术人员知道，本发明有许多变形和变化而不脱离本发明的精神，希望所附的权利要求包括这些变形和变化。

Claims (10)

1、一种逻辑故障注入的方法，其特征在于包括：

a、确定引起逻辑故障的因素；

b、分别确定所述各因素引起逻辑故障的故障模式；

c、根据所述故障模式建立用于随机注入逻辑故障的逻辑故障注入模块；

d、当需要对逻辑设计进行逻辑故障注入时，确定逻辑故障注入需求；

e、所述逻辑故障注入模块根据所述逻辑故障注入需求向所述逻辑设计注入相应的逻辑故障。

2、如权利要求1所述的一种逻辑故障注入的方法，其特征在于所述步骤a中的因素包括：操作错误、协议错误、单元电路可靠性设计、业务冲击、外部器件故障、器件内部故障、电磁兼容/干扰、环境应力。

3、如权利要求2所述的一种逻辑故障注入的方法，其特征在于：

所述协议错误包括：业务数据包长错误、业务数据控制/状态域错误、业务数据叠加干扰错误、物理层协议错误；

所述单元电路可靠性设计包括：先进先出电路故障、状态机电路故障；

所述器件内部故障包括：时钟电路失效、器件失效；

所述环境应力包括：温度、振动。

4、如权利要求3所述的一种逻辑故障注入的方法，其特征在于所述步骤b中的故障模式具体包括：

所述操作错误引起逻辑故障的故障模式包括：对无效地址空间的访问、表项配置顺序错误、非法配置；

所述业务数据包长错误引起逻辑故障的故障模式包括：超短包、超长包、临界包长；

所述业务数据控制/状态域错误引起逻辑故障的故障模式包括：数据错误、数据非法、数据越界；

所述物理层协议错误引起逻辑故障的故障模式包括：信号时序超前、信号时序滞后、接口信号有效宽度异常、组合时序异常；

所述先进先出电路故障引起逻辑故障的故障模式包括：溢出、地址越界；

所述状态机电路故障引起逻辑故障的故障模式包括：状态机处于非法状态、状态机处于吊死状态；

所述业务冲击引起逻辑故障的故障模式包括：业务大流量冲击、错误业务流量冲击、非法攻击、CBR(恒定速率业务)断流；

所述外部器件故障引起逻辑故障的故障模式包括：接口信号常高、接口信号常低、接口信号高阻、接口信号短路、接口信号无响应；

所述时钟电路失效引起逻辑故障的故障模式包括：时钟电路无输出、输出时钟频率不正常、输出时钟信号质量差；

所述器件失效引起逻辑故障的故障模式包括：BlockRAM(存储器块)失效、CLB(逻辑单元块)失效、管脚断裂；

所述电磁兼容/干扰引起逻辑故障的故障模式包括：信号常高、信号常低、信号高阻、毛刺、时序错误、信号线搭接；

所述温度引起逻辑故障的故障模式包括：高温失效、低温失效；

所述振动引起逻辑故障的故障模式包括：管脚断路、管脚搭接。

5、如权利要求4所述的一种逻辑故障注入的方法，其特征在于所述的步骤c具体包括：

c1、根据所述操作错误引起的故障模式建立向应用层数据随机注入逻辑故障的可运行脚本平台；

c2、根据所述业务数据包长错误、业务数据控制/状态域错误、业务数据叠加干扰错误、业务冲击引起的故障模式建立向业务层激励数据随机注入逻辑故障的子模块；

c3、根据所述物理层协议错误、单元电路可靠性设计、业务冲击、外部器件故障、器件内部故障、电磁兼容/干扰、环境应力引起的故障模式建立向物理层激励随机注入逻辑故障的子模块。

6、如权利要求5所述的一种逻辑故障注入的方法，其特征在于所述的步骤c3包括：

建立预定条件下注入单个/多个毛刺子模块；

建立预定条件下强制信号为固定值子模块；

建立预定条件下强制信号反相子模块；

建立预定条件下强制信号延迟子模块；

建立强制产生时钟信号子模块；

建立强制状态机翻转子模块；

建立预定条件下注入单个/多个异常数据子模块。

7、如权利要求6所述的一种逻辑故障注入的方法，其特征在于所述预定条件包括：指定时间和/或指定时间间隔和/或指定事件。

8、一种逻辑故障注入的装置，其特征在于所述的装置包括：

获取故障注入需求模块：获取逻辑设计的逻辑故障注入需求，并将所述逻辑故障注入需求传输至逻辑故障注入模块；

逻辑故障注入模块：根据所述获取故障注入需求模块传输来的逻辑故障注入需求将相应的逻辑故障注入所述逻辑设计。

9、如权利要求8所述的一种逻辑故障注入的装置，其特征在于所述的逻辑故障注入模块进一步包括：

应用层故障注入平台：根据所述获取故障注入需求模块传输来的向应用层层数据注入逻辑故障的需求将相应的应用层数据逻辑故障注入所述逻辑设计；

业务层故障注入子模块：根据所述获取故障注入需求模块传输来的向业务层激励数据注入逻辑故障的需求将相应的业务层激励数据逻辑故障注入所述逻辑设计；

物理层故障注入子模块：根据所述获取故障注入需求模块传输来的向物理层激励注入逻辑故障的需求将相应的物理层激励逻辑故障注入所述逻辑设计。

10、如权利要求9所述的一种逻辑验证的装置，其特征在于所述的物理层故障注入子模块进一步包括：

预定条件下注入单个/多个毛刺子模块：根据所述获取故障注入需求模块传输来的向物理层激励注入毛刺的需求在预定条件下向所述逻辑设计随机注入单个/多个毛刺；

预定条件下强制信号为固定值子模块：根据所述获取故障注入需求模块传输来的将信号强制为固定值的需求在预定条件下将信号强制为固定值，并注入所述逻辑设计；

预定条件下强制信号反相子模块：根据所述获取故障注入需求模块传输来的将信号反相的需求在预定条件下将信号强制反相，并注入所述逻辑设计；

预定条件下强制信号延迟子模块：根据所述获取故障注入需求模块传输来的将信号延迟的需求在预定条件下将信号强制延迟，并注入所述逻辑设计；

强制产生时钟信号子模块：根据所述获取故障注入需求模块传输来的产生时钟信号的需求强制产生时钟信号，并注入所述需要验证的逻辑设计；

强制状态机翻转子模块：根据所述获取故障注入需求模块传输来的状态机翻转的需求强制状态机翻转；

预定条件下注入单个/多个异常数据子模块：根据所述获取故障注入需求模块传输来的向数据总线注入异常数据的需求在预定条件下向数据总线中的数据随机注入单个/多个异常数据。

Images