NAND Gate
N-input logical NAND primitive.
Model
Truth Table
Simic uses a 4-value logic system (0, 1, X, Z). For NAND gates, high-impedance (Z) is typically treated as an unknown (X) state.
| Input A | Input B | Output Q |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | X | 1 |
| 0 | Z | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
| 1 | X | X |
| 1 | Z | X |
| X | — | X (unless an input is 0) |
| Z | — | X (unless an input is 0) |
Boolean Description
Q = (I[1] * I[2] * ... * I[n])Hazards
- Near Hazard Analysis: Simic performs automatic hazard detection on gates with more than one input to identify potential glitches during transitions.
Restrictions
- Input Limit: Supports between 1 and 32,767 inputs.
Equivalent Type Statement
Type=NAND i=I[1:1–32767] o=Q