基于三值模型的竞争冒险检测  

Checking of Competitive Hazard Based on Three Values Model

作　　者：吴兰臻[1] 

机构地区：[1]装备指挥技术学院,北京市101416

出　　处：《仪器仪表用户》2001年第1期22-25,共4页Instrumentation

摘　　要：文章介绍了三值模型的基本概念，以及用三值模拟算法来检测竞争冒险现象的方法。此方法除了能检测由单个门电路和触发器组成的数字系统产生的竞争冒险现象，也能检测由ＦＰＧＡ或ＣＰＬＤ 组成的数字系统产生的竞争冒险现象。In this paper, the basic concept of three values model is introduced. Checking of Competitive hazard by three values simulation algorithm is introduced and an example is given. The method is simple and also used to check competitive hazard with digital system composed of FPGA and CPLD.

关 键 词：数字系统 三值模型 竞争冒险 检测 数字电路 

分 类 号：TN790.7[电子电信—电路与系统]