3.2 逻辑模拟算法

3.2.3 三值模拟与竞争冒险检测

　采用三值模型('0', '1', 'X')并能检测竞争冒险的逻辑模拟称为三值模拟。