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

Checking of Competitive Hazard Based on Three Values Model

文章介绍了三值模型的基本概念，以及用三值模拟算法来检测竞争冒险现象的方法。此方法除了能检测由单个门电路和触发器组成的数字系统产生的竞争冒险现象，也能检测由ＦＰＧＡ或ＣＰＬＤ 组成的数字系统产生的竞争冒险现象。

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.