vm.cfg

   1 [source "src[0]"]
   2 value = 69
   3
   4 [source "src[1]"]
   5 value = 34
   6
   7 [sink "snk"]
   8 in[0] = "xor[0][1]::out"
   9 in[1] = "xor[1][1]::out"
  10 in[2] = "xor[2][1]::out"
  11 in[3] = "xor[3][1]::out"
  12 in[4] = "xor[4][1]::out"
  13 in[5] = "xor[5][1]::out"
  14 in[6] = "xor[6][1]::out"
  15 in[7] = "xor[7][1]::out"
  16
  17 [pin "cin"]
  18
  19 [xor-gate "xor[0][0]"]
  20 in[0] = "src[0]::out[0]"
  21 in[1] = "src[1]::out[0]"
  22
  23 [xor-gate "xor[0][1]"]
  24 in[0] = "xor[0][0]::out"
  25 in[1] = "cin"
  26
  27 [and-gate "and[0][0]"]
  28 in[0] = "xor[0][0]::out"
  29 in[1] = "cin"
  30
  31 [and-gate "and[0][1]"]
  32 in[0] = "src[0]::out[0]"
  33 in[1] = "src[1]::out[0]"
  34
  35 [or-gate "or[0]"]
  36 in[0] = "and[0][0]::out"
  37 in[1] = "and[0][1]::out"
  38
  39 [xor-gate "xor[1][0]"]
  40 in[0] = "src[0]::out[1]"
  41 in[1] = "src[1]::out[1]"
  42
  43 [xor-gate "xor[1][1]"]
  44 in[0] = "xor[1][0]::out"
  45 in[1] = "or[0]::out"
  46
  47 [and-gate "and[1][0]"]
  48 in[0] = "xor[1][0]::out"
  49 in[1] = "or[0]::out"
  50
  51 [and-gate "and[1][1]"]
  52 in[0] = "src[0]::out[1]"
  53 in[1] = "src[1]::out[1]"
  54
  55 [or-gate "or[1]"]
  56 in[0] = "and[1][0]::out"
  57 in[1] = "and[1][1]::out"
  58
  59 [xor-gate "xor[2][0]"]
  60 in[0] = "src[0]::out[2]"
  61 in[1] = "src[1]::out[2]"
  62
  63 [xor-gate "xor[2][1]"]
  64 in[0] = "xor[2][0]::out"
  65 in[1] = "or[1]::out"
  66
  67 [and-gate "and[2][0]"]
  68 in[0] = "xor[2][0]::out"
  69 in[1] = "or[1]::out"
  70
  71 [and-gate "and[2][1]"]
  72 in[0] = "src[0]::out[2]"
  73 in[1] = "src[1]::out[2]"
  74
  75 [or-gate "or[2]"]
  76 in[0] = "and[2][0]::out"
  77 in[1] = "and[2][1]::out"
  78
  79 [xor-gate "xor[3][0]"]
  80 in[0] = "src[0]::out[3]"
  81 in[1] = "src[1]::out[3]"
  82
  83 [xor-gate "xor[3][1]"]
  84 in[0] = "xor[3][0]::out"
  85 in[1] = "or[2]::out"
  86
  87 [and-gate "and[3][0]"]
  88 in[0] = "xor[3][0]::out"
  89 in[1] = "or[2]::out"
  90
  91 [and-gate "and[3][1]"]
  92 in[0] = "src[0]::out[3]"
  93 in[1] = "src[1]::out[3]"
  94
  95 [or-gate "or[3]"]
  96 in[0] = "and[3][0]::out"
  97 in[1] = "and[3][1]::out"
  98
  99 [xor-gate "xor[4][0]"]
 100 in[0] = "src[0]::out[4]"
 101 in[1] = "src[1]::out[4]"
 102
 103 [xor-gate "xor[4][1]"]
 104 in[0] = "xor[4][0]::out"
 105 in[1] = "or[3]::out"
 106
 107 [and-gate "and[4][0]"]
 108 in[0] = "xor[4][0]::out"
 109 in[1] = "or[3]::out"
 110
 111 [and-gate "and[4][1]"]
 112 in[0] = "src[0]::out[4]"
 113 in[1] = "src[1]::out[4]"
 114
 115 [or-gate "or[4]"]
 116 in[0] = "and[4][0]::out"
 117 in[1] = "and[4][1]::out"
 118
 119 [xor-gate "xor[5][0]"]
 120 in[0] = "src[0]::out[5]"
 121 in[1] = "src[1]::out[5]"
 122
 123 [xor-gate "xor[5][1]"]
 124 in[0] = "xor[5][0]::out"
 125 in[1] = "or[4]::out"
 126
 127 [and-gate "and[5][0]"]
 128 in[0] = "xor[5][0]::out"
 129 in[1] = "or[4]::out"
 130
 131 [and-gate "and[5][1]"]
 132 in[0] = "src[0]::out[5]"
 133 in[1] = "src[1]::out[5]"
 134
 135 [or-gate "or[5]"]
 136 in[0] = "and[5][0]::out"
 137 in[1] = "and[5][1]::out"
 138
 139 [xor-gate "xor[6][0]"]
 140 in[0] = "src[0]::out[6]"
 141 in[1] = "src[1]::out[6]"
 142
 143 [xor-gate "xor[6][1]"]
 144 in[0] = "xor[6][0]::out"
 145 in[1] = "or[5]::out"
 146
 147 [and-gate "and[6][0]"]
 148 in[0] = "xor[6][0]::out"
 149 in[1] = "or[5]::out"
 150
 151 [and-gate "and[6][1]"]
 152 in[0] = "src[0]::out[6]"
 153 in[1] = "src[1]::out[6]"
 154
 155 [or-gate "or[6]"]
 156 in[0] = "and[6][0]::out"
 157 in[1] = "and[6][1]::out"
 158
 159 [xor-gate "xor[7][0]"]
 160 in[0] = "src[0]::out[7]"
 161 in[1] = "src[1]::out[7]"
 162
 163 [xor-gate "xor[7][1]"]
 164 in[0] = "xor[7][0]::out"
 165 in[1] = "or[6]::out"
 166
 167 [and-gate "and[7][0]"]
 168 in[0] = "xor[7][0]::out"
 169 in[1] = "or[6]::out"
 170
 171 [and-gate "and[7][1]"]
 172 in[0] = "src[0]::out[7]"
 173 in[1] = "src[1]::out[7]"
 174
 175 [or-gate "or[7]"]
 176 in[0] = "and[7][0]::out"
 177 in[1] = "and[7][1]::out"
 178