반응형
목차
Logical Operators
a = 3’b010 b = 3’b000
|
Character
|
Operation performed
|
Example
|
Type
|
|
!
|
Logical negation
|
!(a && b) = 1’b1
|
Unary
|
|
&&
|
Logical and (both
expressions true)
|
a && b = 1’b0
|
Binary
|
|
||
|
Logical or (One or both
expressions true)
|
a || b = 1’b1
|
Binary
|
|
->
|
Logical implication
|
exp1 -> exp2 is same with
(!exp1 || exp2)
|
Binary
|
|
<->
|
Logical equivalence
|
exp1 <-> exp2 is same with
((exp1->exp2)&&(exp2->exp1))
|
Unary
|
Logical implication
Implication ( p -> q ) [= (!p || q)]
- p가 F이거나, q가 T이거나
|
p
|
q
|
p -> q
|
|
T
|
T
|
T
|
|
T
|
F
|
F
|
|
F
|
T
|
T
|
|
F
|
F
|
T
|
Equivalence ( p <-> q ) [= ((p -> q) && (q -> p))]
- p가 F이고 q가 F
- p가 T이고 q가 T
|
p
|
q
|
p -> q
|
|
T
|
T
|
T
|
|
T
|
F
|
F
|
|
F
|
T
|
F
|
|
F
|
F
|
T
|
728x90
반응형
'Language > Verilog & SV' 카테고리의 다른 글
| [System Verilog] Mailbox? (0) | 2025.04.09 |
|---|---|
| [Verilog & SV] 시프트 연산자(Shift Operators) (0) | 2025.04.09 |
| [Verilog & SV] Bitwise, 감소 연산자(Reduction Operators) (0) | 2025.04.09 |
| [Verilog & SV] 산술연산자(Arithmetic Operators) (0) | 2025.04.09 |
| [Verilog & SV] 관계 연산자(Relational Operators) (0) | 2025.04.09 |
