[4] | 1 | # vl2mv Concret_Main.v |
---|
| 2 | # version: 1.4 |
---|
| 3 | # date: 13:18:30 09/06/2010 (CEST) |
---|
| 4 | .model main |
---|
| 5 | # I/O ports |
---|
| 6 | .outputs o1 |
---|
| 7 | .outputs o2 |
---|
| 8 | .inputs i1 |
---|
| 9 | .outputs r_i1 |
---|
| 10 | .subckt machine_concret machine_concret1 i1=i1 o1=o1 o2=o2 r_i1=r_i1 |
---|
| 11 | # conflict arbitrators |
---|
| 12 | # non-blocking assignments |
---|
| 13 | # latches |
---|
| 14 | # quasi-continuous assignment |
---|
| 15 | .end |
---|
| 16 | |
---|
| 17 | |
---|
| 18 | .model machine_concret |
---|
| 19 | # I/O ports |
---|
| 20 | .outputs o1 |
---|
| 21 | .outputs o2 |
---|
| 22 | .inputs i1 |
---|
| 23 | .outputs r_i1 |
---|
| 24 | .mv m_state 4 S0 S1 S2 S3 |
---|
| 25 | # m_state = 0 |
---|
| 26 | .mv m_state$raw_n0 4 S0 S1 S2 S3 |
---|
| 27 | .names m_state$raw_n0 |
---|
| 28 | S0 |
---|
| 29 | # o1 = 0 |
---|
| 30 | .names o1$raw_n1 |
---|
| 31 | 0 |
---|
| 32 | # o2 = 0 |
---|
| 33 | .names o2$raw_n2 |
---|
| 34 | 0 |
---|
| 35 | # r_i1 = i1 |
---|
| 36 | .names i1 r_i1$raw_n3 |
---|
| 37 | - =i1 |
---|
| 38 | # non-blocking assignments for initial |
---|
| 39 | # r_i1 = i1 |
---|
| 40 | .names i1 r_i1$raw_n4 |
---|
| 41 | - =i1 |
---|
| 42 | .mv _n7 4 S0 S1 S2 S3 |
---|
| 43 | .names _n7 |
---|
| 44 | S0 |
---|
| 45 | .names m_state _n7 _n6 |
---|
| 46 | .def 0 |
---|
| 47 | - =m_state 1 |
---|
| 48 | .names _n6 _n5 |
---|
| 49 | 1 1 |
---|
| 50 | 0 0 |
---|
| 51 | .names _n9 |
---|
| 52 | 1 |
---|
| 53 | # i1 == 1 |
---|
| 54 | .names i1 _n9 _na |
---|
| 55 | .def 0 |
---|
| 56 | 0 1 1 |
---|
| 57 | 1 0 1 |
---|
| 58 | .names _na _n8 |
---|
| 59 | 0 1 |
---|
| 60 | 1 0 |
---|
| 61 | .names _n8 _nc |
---|
| 62 | - =_n8 |
---|
| 63 | # m_state = 1 |
---|
| 64 | .mv m_state$_n8_nd$true 4 S0 S1 S2 S3 |
---|
| 65 | .names m_state$_n8_nd$true |
---|
| 66 | S1 |
---|
| 67 | # o1 = 1 |
---|
| 68 | .names o1$_n8_ne$true |
---|
| 69 | 1 |
---|
| 70 | # o2 = 0 |
---|
| 71 | .names o2$_n8_nf$true |
---|
| 72 | 0 |
---|
| 73 | # o1 = 0 |
---|
| 74 | .names o1$_n8_n10$false |
---|
| 75 | 0 |
---|
| 76 | # o2 = 0 |
---|
| 77 | .names o2$_n8_n11$false |
---|
| 78 | 0 |
---|
| 79 | # m_state = 0 |
---|
| 80 | .mv m_state$_n8_n12$false 4 S0 S1 S2 S3 |
---|
| 81 | .names m_state$_n8_n12$false |
---|
| 82 | S0 |
---|
| 83 | # if/else (i1 == 1) |
---|
| 84 | .names o1$_n8_ne$true o1$_n8_n10$false _n8 o1$_n8$raw_n17 |
---|
| 85 | 0 - 1 0 |
---|
| 86 | 1 - 1 1 |
---|
| 87 | - 0 0 0 |
---|
| 88 | - 1 0 1 |
---|
| 89 | .names o2$_n8_nf$true o2$_n8_n11$false _n8 o2$_n8$raw_n19 |
---|
| 90 | 0 - 1 0 |
---|
| 91 | 1 - 1 1 |
---|
| 92 | - 0 0 0 |
---|
| 93 | - 1 0 1 |
---|
| 94 | .mv m_state$_n8$raw_n1b 4 S0 S1 S2 S3 |
---|
| 95 | .names m_state$_n8_nd$true m_state$_n8_n12$false _n8 m_state$_n8$raw_n1b |
---|
| 96 | - - 0 =m_state$_n8_n12$false |
---|
| 97 | - - 1 =m_state$_n8_nd$true |
---|
| 98 | .mv _n27 4 S0 S1 S2 S3 |
---|
| 99 | .names _n27 |
---|
| 100 | S1 |
---|
| 101 | .names m_state _n27 _n26 |
---|
| 102 | .def 0 |
---|
| 103 | - =m_state 1 |
---|
| 104 | .names _n26 _n25 |
---|
| 105 | 1 1 |
---|
| 106 | 0 0 |
---|
| 107 | # m_state = 2 |
---|
| 108 | .mv m_state$_n25_n28$true 4 S0 S1 S2 S3 |
---|
| 109 | .names m_state$_n25_n28$true |
---|
| 110 | S2 |
---|
| 111 | # o1 = 0 |
---|
| 112 | .names o1$_n25_n29$true |
---|
| 113 | 0 |
---|
| 114 | # o2 = 1 |
---|
| 115 | .names o2$_n25_n2a$true |
---|
| 116 | 1 |
---|
| 117 | .mv _n2d 4 S0 S1 S2 S3 |
---|
| 118 | .names _n2d |
---|
| 119 | S2 |
---|
| 120 | .names m_state _n2d _n2c |
---|
| 121 | .def 0 |
---|
| 122 | - =m_state 1 |
---|
| 123 | .names _n2c _n2b |
---|
| 124 | 1 1 |
---|
| 125 | 0 0 |
---|
| 126 | # m_state = 3 |
---|
| 127 | .mv m_state$_n2b_n2e$true 4 S0 S1 S2 S3 |
---|
| 128 | .names m_state$_n2b_n2e$true |
---|
| 129 | S3 |
---|
| 130 | # o1 = 1 |
---|
| 131 | .names o1$_n2b_n2f$true |
---|
| 132 | 1 |
---|
| 133 | # o2 = 1 |
---|
| 134 | .names o2$_n2b_n30$true |
---|
| 135 | 1 |
---|
| 136 | .mv _n33 4 S0 S1 S2 S3 |
---|
| 137 | .names _n33 |
---|
| 138 | S3 |
---|
| 139 | .names m_state _n33 _n32 |
---|
| 140 | .def 0 |
---|
| 141 | - =m_state 1 |
---|
| 142 | .names _n32 _n31 |
---|
| 143 | 1 1 |
---|
| 144 | 0 0 |
---|
| 145 | # o1 = 1 |
---|
| 146 | .names o1$_n31_n34$true |
---|
| 147 | 1 |
---|
| 148 | # o2 = 1 |
---|
| 149 | .names o2$_n31_n35$true |
---|
| 150 | 1 |
---|
| 151 | # m_state = 3 |
---|
| 152 | .mv m_state$_n31_n36$true 4 S0 S1 S2 S3 |
---|
| 153 | .names m_state$_n31_n36$true |
---|
| 154 | S3 |
---|
| 155 | # case (m_state ) |
---|
| 156 | .names o1$_n31_n34$true o1 _n31 o1$_n31$raw_n3f |
---|
| 157 | 0 - 1 0 |
---|
| 158 | 1 - 1 1 |
---|
| 159 | - 0 0 0 |
---|
| 160 | - 1 0 1 |
---|
| 161 | .names o2$_n31_n35$true o2 _n31 o2$_n31$raw_n41 |
---|
| 162 | 0 - 1 0 |
---|
| 163 | 1 - 1 1 |
---|
| 164 | - 0 0 0 |
---|
| 165 | - 1 0 1 |
---|
| 166 | .mv m_state$_n31$raw_n43 4 S0 S1 S2 S3 |
---|
| 167 | .names m_state$_n31_n36$true m_state _n31 m_state$_n31$raw_n43 |
---|
| 168 | - - 0 =m_state |
---|
| 169 | - - 1 =m_state$_n31_n36$true |
---|
| 170 | .names o1$_n2b_n2f$true o1$_n31$raw_n3f _n2b o1$_n2b$raw_n46 |
---|
| 171 | 0 - 1 0 |
---|
| 172 | 1 - 1 1 |
---|
| 173 | - 0 0 0 |
---|
| 174 | - 1 0 1 |
---|
| 175 | .names o2$_n2b_n30$true o2$_n31$raw_n41 _n2b o2$_n2b$raw_n48 |
---|
| 176 | 0 - 1 0 |
---|
| 177 | 1 - 1 1 |
---|
| 178 | - 0 0 0 |
---|
| 179 | - 1 0 1 |
---|
| 180 | .mv m_state$_n2b$raw_n4a 4 S0 S1 S2 S3 |
---|
| 181 | .names m_state$_n2b_n2e$true m_state$_n31$raw_n43 _n2b m_state$_n2b$raw_n4a |
---|
| 182 | - - 0 =m_state$_n31$raw_n43 |
---|
| 183 | - - 1 =m_state$_n2b_n2e$true |
---|
| 184 | .names o1$_n25_n29$true o1$_n2b$raw_n46 _n25 o1$_n25$raw_n58 |
---|
| 185 | 0 - 1 0 |
---|
| 186 | 1 - 1 1 |
---|
| 187 | - 0 0 0 |
---|
| 188 | - 1 0 1 |
---|
| 189 | .names o2$_n25_n2a$true o2$_n2b$raw_n48 _n25 o2$_n25$raw_n5a |
---|
| 190 | 0 - 1 0 |
---|
| 191 | 1 - 1 1 |
---|
| 192 | - 0 0 0 |
---|
| 193 | - 1 0 1 |
---|
| 194 | .mv m_state$_n25$raw_n5c 4 S0 S1 S2 S3 |
---|
| 195 | .names m_state$_n25_n28$true m_state$_n2b$raw_n4a _n25 m_state$_n25$raw_n5c |
---|
| 196 | - - 0 =m_state$_n2b$raw_n4a |
---|
| 197 | - - 1 =m_state$_n25_n28$true |
---|
| 198 | .names o1$_n8$raw_n17 o1$_n25$raw_n58 _n5 o1$_n5$raw_n6a |
---|
| 199 | 0 - 1 0 |
---|
| 200 | 1 - 1 1 |
---|
| 201 | - 0 0 0 |
---|
| 202 | - 1 0 1 |
---|
| 203 | .names o2$_n8$raw_n19 o2$_n25$raw_n5a _n5 o2$_n5$raw_n6c |
---|
| 204 | 0 - 1 0 |
---|
| 205 | 1 - 1 1 |
---|
| 206 | - 0 0 0 |
---|
| 207 | - 1 0 1 |
---|
| 208 | .mv m_state$_n5$raw_n6e 4 S0 S1 S2 S3 |
---|
| 209 | .names m_state$_n8$raw_n1b m_state$_n25$raw_n5c _n5 m_state$_n5$raw_n6e |
---|
| 210 | - - 0 =m_state$_n25$raw_n5c |
---|
| 211 | - - 1 =m_state$_n8$raw_n1b |
---|
| 212 | # conflict arbitrators |
---|
| 213 | .names _n5 _nc _n25 _n2b _n31 _n7c |
---|
| 214 | .def 0 |
---|
| 215 | 1 1 - - - 1 |
---|
| 216 | 1 0 - - - 1 |
---|
| 217 | 0 - 1 - - 1 |
---|
| 218 | 0 - 0 1 - 1 |
---|
| 219 | 0 - 0 0 1 1 |
---|
| 220 | .names _n7c o1$_n5$raw_n6a o1 _n7d |
---|
| 221 | 1 0 - 0 |
---|
| 222 | 1 1 - 1 |
---|
| 223 | 0 - 0 0 |
---|
| 224 | 0 - 1 1 |
---|
| 225 | .names _n5 _nc _n25 _n2b _n31 _n7e |
---|
| 226 | .def 0 |
---|
| 227 | 1 1 - - - 1 |
---|
| 228 | 1 0 - - - 1 |
---|
| 229 | 0 - 1 - - 1 |
---|
| 230 | 0 - 0 1 - 1 |
---|
| 231 | 0 - 0 0 1 1 |
---|
| 232 | .names _n7e o2$_n5$raw_n6c o2 _n7f |
---|
| 233 | 1 0 - 0 |
---|
| 234 | 1 1 - 1 |
---|
| 235 | 0 - 0 0 |
---|
| 236 | 0 - 1 1 |
---|
| 237 | .names _n5 _nc _n25 _n2b _n31 _n80 |
---|
| 238 | .def 0 |
---|
| 239 | 1 1 - - - 1 |
---|
| 240 | 1 0 - - - 1 |
---|
| 241 | 0 - 1 - - 1 |
---|
| 242 | 0 - 0 1 - 1 |
---|
| 243 | 0 - 0 0 1 1 |
---|
| 244 | .mv _n81 4 S0 S1 S2 S3 |
---|
| 245 | .names _n80 m_state$_n5$raw_n6e m_state _n81 |
---|
| 246 | 1 - - =m_state$_n5$raw_n6e |
---|
| 247 | 0 - - =m_state |
---|
| 248 | .names _n82 |
---|
| 249 | .def 0 |
---|
| 250 | 1 |
---|
| 251 | .names _n82 r_i1$raw_n4 _n83 |
---|
| 252 | .def 0 |
---|
| 253 | 1 0 0 |
---|
| 254 | 1 1 1 |
---|
| 255 | # non-blocking assignments |
---|
| 256 | # latches |
---|
| 257 | .r o1$raw_n1 o1 |
---|
| 258 | 0 0 |
---|
| 259 | 1 1 |
---|
| 260 | .latch _n7d o1 |
---|
| 261 | .r o2$raw_n2 o2 |
---|
| 262 | 0 0 |
---|
| 263 | 1 1 |
---|
| 264 | .latch _n7f o2 |
---|
| 265 | .r m_state$raw_n0 m_state |
---|
| 266 | - =m_state$raw_n0 |
---|
| 267 | .latch _n81 m_state |
---|
| 268 | .r r_i1$raw_n3 r_i1 |
---|
| 269 | 0 0 |
---|
| 270 | 1 1 |
---|
| 271 | .latch _n83 r_i1 |
---|
| 272 | # quasi-continuous assignment |
---|
| 273 | .end |
---|
| 274 | |
---|
| 275 | |
---|