Verilog中已有一些建立好的逻辑门和开关的模型。在所涉及的模块中,可通过实例引用这些门与开关模型,从而对模块进行结构化的描述。

逻辑门:

and (output,input,...)

nand (output,input,...)

or (output,input,...)

nor (output,input,...)

xor (output,input,...)

xnor (output,input,...)

缓冲器和与非门

buf (output,...,input)

not (output,...,input)

三态门:

bufif0 (output,input,enable)

bufif1 (output,input,enable)

notif0 (output,input,enable)

notif1 (output,input,enable)

MOS开关

nmos (output,input,enable)

pmos (output,input,enable)

rnmos (output,input,enable)

rpmos (output,input,enable)

CMOS开关

cmos (output,input,Nenable,Penable)

rcmos (output,input,Nenable,Penable)

双向开关:

tran (inout,inout2)

rtran (inout,inout2)

双向可控开关

tranif0 (inout1,inout2,control)

tranif1 (inout1,inout2,control)

rtranif0 (inout1,inout2,control)

rtranif1 (inout1,inout2,control)

上拉源和下拉源

pullup (output)

pulldown (output)

以下为上述门电路的真值表:

其中逻辑值L和H代表部分未知值。L表示0或者Z,H表示1或者Z;

附表1 与门真值表

and 0  1  x  z 
 0  0 0 0 0
 1 0 1  x x
 x 0 x x x
 z 0 x x x

附表2 与非门真值表

nand 0  1  x  z 
 0  1 1 1 1
 1 1 0  x x
 x 1 x x x
 z 1 x x x

附表3 或门真值表

or 0  1  x  z 
 0  0 1 x x
 1 1 1  1 1
 x x 1 x x
 z x 1 x x

附表4 或非门真值表

nor 0  1  x  z 
 0  1 0 x x
 1 0 0  0 0
 x x 0 x x
 z x 0 x x

附表5 异或门真值表

xor 0  1  x  z 
 0  0 1 x x
 1 1 0  x x
 x x x x x
 z x x x x

附表6 同或门真值表

xor 0  1  x  z 
 0  1 0 x x
 1 0 1  x x
 x x x x x
 z x x x x

附表7 缓冲器及与非门真值表

buf not
InputOutput InputOutput
00 01
11 10
xx xx
zx zx

附表8 缓冲器使能端真值表

Bufif0Enable Bufif1Enable
01xz01xz

D

A

T

A

00zLL

D

A

T

A

0z0LL
11zHH1z1HH
xxzxxxzxxx
zxzxxzzxxx

附表9 缓冲器非门使能端真值表

notif0Enable notif1Enable
01xz01xz

D

A

T

A

01zHH

D

A

T

A

0z1HH
10zLL1z0LL
xxzxxxzxxx
zxzxxzzxxx

附表10  MOS型控制端真值表

Pmos

Rpmos

Control 

Nmos

Rnmos

Control
01xz01xz

D

A

T

A

00zLL

D

A

T

A

0z0LL
11zHH1z1HH
xxzxxxzxxx
zzzzzzzzzz

规则:

1)缓冲门、非门都可以有多个输出,但是这些输出值都是相同的。

2)当nmos,pmos,cmos, tran, tranif0, tranif1类型的开关开启时,信号从输入到输出并不改变其强度。

3)当有电阻的开关,如rnmos, rpmos, rcmos, rtran, rtranif0, rtranif1类型的开关,开启式,信号从输入到输出会改变其强度。

Strength减至
supplypull
strongpull
pullweak
largemedium
weakmedium
mediumsmall
smallsmall
highzhighz
04-30 03:46