Values
Our expressions operate on four-valued bit vectors called 4vecs. There are also useful subsets of 4vecs, such as 3vecs (which have no Z bits) and 2vecs (which have no X or Z bits).
Subtopics
- 4vec
- The fundamental 4-valued vector representation used throughout SV
expressions.
- 4vec-<<=
- Lattice relation (information order) on 4vec values.
- 3vec
- A 3vec is a 4vec that has no Z bits.
- 2vec
- A 2vec is a 4vec that has no X or Z bits.
- 2vecx
- A 2vecx is a 4vec that is either a 2vec or is
all Xes.
- 2vecnatx
- A 2vecnatx is a 4vec that is either a natural-valued
2vec or is all Xes.
- 4vec-x
- Infinite width vector, all Xes.
- 4vec-1x
- Vector with a single X bit (lsb), upper bits all 0.
- 4vec-1z
- Vector with a single Z bit (lsb), upper bits all 0.
- 4vec-z
- Infinite width vector, all Zs.
