• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Community
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
    • Gl
    • Esim
    • Vl2014
    • Sv
      • Svex-stvs
      • Svex-decomposition-methodology
      • Sv-versus-esim
      • Svex-decomp
      • Svex-compose-dfs
      • Svex-compilation
      • Moddb
      • Svmods
      • Svstmt
      • Sv-tutorial
      • Expressions
        • Rewriting
        • Svex
        • Bit-blasting
        • Functions
        • 4vmask
        • Why-infinite-width
        • Svex-vars
        • Evaluation
        • Values
          • 4vec
            • 4vec-operations
            • 4vec-p
            • S4vecs
            • 4vec-examples
            • Maybe-4vec
            • 4vec-equiv
            • Make-4vec
            • 4vec->upper
            • 4vec->lower
            • 4veclist
            • 4vec-fix
            • Make-honsed-4vec
            • 4vec-index-p
          • 4vec-<<=
          • 3vec
          • 2vec
          • 2vecx
          • 2vecnatx
          • 4vec-x
          • 4vec-1x
          • 4vec-1z
          • 4vec-z
      • Symbolic-test-vector
      • Vl-to-svex
    • Fgl
    • Vwsim
    • Vl
    • X86isa
    • Svl
    • Rtl
  • Software-verification
  • Math
  • Testing-utilities

• 4vec

4vec-examples

4vec examples

4vec Examples. Note that some of them are redundant, but they are repeated so that the reader can more easily see the relationships between the bits.

Representation	Meaning (LSB first)
1	1,0,0,0,0,0,...infinitely many 0s...
0	0,0,0,0,0,0,...infinitely many 0s...
(1 . 0)	X,0,0,0,0,0,...infinitely many 0s...
0	0,0,0,0,0,0,...infinitely many 0s...
1	1,0,0,0,0,0,...infinitely many 0s...
(0 . 1)	Z,0,0,0,0,0,...infinitely many 0s...
-1	1,1,1,1,1,1....infinitely many 1s...
0	0,0,0,0,0,0,...infinitely many 0s...
(-1 . 0)	X,X,X,X,X,X,...infinitely many Xs...
0	0,0,0,0,0,0,...infinitely many 0s...
-1	1,1,1,1,1,1,...infinitely many 1s...
(0 . -1)	Z,Z,Z,Z,Z,Z,...infinitely many Zs...
4	0,0,1,0,0,0,...infinitely many 0s...
6	0,1,1,0,0,0,...infinitely many 0s...
(4 . 6)	0,Z,1,0,0,0,...infinitely many 0s...
4	0,0,1,0,0,0,...infinitely many 0s...
-6	0,1,0,1,1,1,...infinitely many 1s...
(4. -6)	0,Z,X,Z,Z,Z,...infinitely many Zs...
-4	0,0,1,1,1,1....infinitely many 1s...
6	0,1,1,0,0,0,...infinitely many 0s...
(-4 . 6)	0,Z,1,X,X,X,...infinitely many Xs...
-4	0,0,1,1,1,1....infinitely many 1s...
-6	1,1,1,1,1,1,...infinitely many 1s...
(-4 . -6)	Z,Z,1,1,1,1,...infinitely many 1s...
6	0,1,1,0,0,0,...infinitely many 0s...
13	1,0,1,1,0,0,...infinitely many 0s...
(6 . 13)	Z,X,1,Z,0,0,...infinitely many 0s...
6	0,1,1,0,0,0,...infinitely many 0s...
-13	1,1,0,0,1,1,...infinitely many 1s...
(6. -13)	Z,1,X,0,Z,Z,...infinitely many Zs...
-6	0,1,0,1,1,1....infinitely many 1s...
13	1,0,1,1,0,0,...infinitely many 0s...
(-6 . 13)	Z,X,Z,1,X,X,...infinitely many Xs...
-6	0,1,0,1,1,1....infinitely many 1s...
-13	1,1,0,0,1,1,...infinitely many 1s...
(-6 . -13)	Z,1,0,X,1,1,...infinitely many 1s...