• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • 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.

    RepresentationMeaning (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...