EXNOR (Exclusive NOR)
N-input logical exclusive NOR primitive (Equivalence).
Model
Truth Table
Simic uses a 4-value logic system (0, 1, X, Z). For EXNOR gates, the output is 1 if an even number of inputs are 1. If any input is X or Z, the output is X.
| Input A | Input B | Output Q |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
| X | — | X |
| Z | — | X |
Boolean Description
Q = (I[1] ⊕ I[2] ⊕ ... ⊕ I[n])Hazards
- Near Hazard Analysis: Automatic hazard detection identifies potential glitches.
Restrictions
- Input Limit: Supports between 1 and 32,767 inputs.
Equivalent Type Statement
Type=EXNOR i=I[1:1–32767] o=Q