逻辑模拟是指计算机模拟计算给定的电路在给定的输入向量下电路中的各种引线的稳定逻辑值。
逻辑模拟常用于设计验证中，它的各种基本理论是故障模拟的基础。
故障模拟是指在给定的输入向量下用计算机模拟计算电路中确定的故障时候的响应，目的是为了考察输入向量能否检测出给定的故障。
在进行逻辑模拟和故障模拟前要对电路做一些理论方面的分析简化。
引线分级，电路层次化，为以后分析简化提供一个结构化模型。
信号状态的模型化：输入，输出，各个节点的信号描述
延时模型：信号在电路上经过引线，门的时间概念模型
故障模型的建立和简化，经过相关的精简，对电路测试时需要处理的故障数目一般会减少50％。
缺陷：实际的系统与设计系统之间的差异。
差错：缺陷在系统运行过程中发出来的信号。差错是缺陷引起的，但是在某些情况下缺陷并不引起差错。
人是通过发现差错来发现缺陷的。不引起差错的缺陷不被人所发现。
故障：对缺陷的抽象描述。为了容易研究缺陷而产生的。
故障效应的传播：是各种故障算法和测试生成算法的核心。
逻辑模拟算法的生成
故障模拟算法的生成：串行故障模拟，并行故障模拟，演绎故障模拟，同时故障模拟等。