4.6.4 Tri0 and tri1 nets
tri0和tri1 net模型分别具有下拉电阻和上拉电阻作用于它们。tri0 net等同于具有pull强度连续0值驱动它的wire net。tri1 net等同于具有pull强度连续1值驱动它的wire net。
当没有驱动器驱动tri0 net时,它的值是具有pull强度的0。当没有驱动器驱动tri1 net时,它的值是具有pull强度的1。当有驱动作用于tri0和tri1 net时,驱动器与隐含驱动net上的具有pull强度的值去决定net的最终值。逻辑强度建模的讨论见7.9。
表4-5和表4-6是对具有strong强度的tri0和tri1 net的多个驱动建模的真值表。关于net的结果值具有强度strong,除非两个驱动器都是z,在这种情况下,net具有pull强度。