乏晰边沿的时序电路模型

本文对赫夫曼时序电路模型提出修正。确立了乏晰边沿集合的运算及性质。在布尔微分及乏晰边沿集合两个基础上,建立了乏晰边沿的时序电路模型。研完了乏晰毛刺的分明度量,最后提出了时序电路不分明状态的判定定理。因此,本文阐述的时序电路模型为时序电路故障测试产生算法及时序电路不分明状态的测试产生算法(逻辑正确性检查)提供了依据。