udb 0.1.9 → 0.1.13

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (275) hide show
  1. checksums.yaml +4 -4
  2. data/.data/cfgs/example_rv64_with_overlay.yaml +5 -2
  3. data/.data/cfgs/mc100-32-full-example.yaml +1 -0
  4. data/.data/cfgs/profile/README.adoc +10 -0
  5. data/.data/cfgs/profile/RVA20S64.yaml +26 -6
  6. data/.data/cfgs/profile/RVA20U64.yaml +18 -4
  7. data/.data/cfgs/profile/RVA22S64.yaml +27 -7
  8. data/.data/cfgs/profile/RVA22U64.yaml +18 -4
  9. data/.data/cfgs/profile/RVA23S64.yaml +61 -7
  10. data/.data/cfgs/profile/RVA23U64.yaml +36 -4
  11. data/.data/cfgs/profile/RVB23S64.yaml +27 -7
  12. data/.data/cfgs/profile/RVB23U64.yaml +18 -4
  13. data/.data/cfgs/profile/RVI20U32.yaml +10 -4
  14. data/.data/cfgs/profile/RVI20U64.yaml +10 -4
  15. data/.data/cfgs/qc_iu.yaml +4 -1
  16. data/.data/cfgs/rv32-riscv-tests.yaml +2 -1
  17. data/.data/cfgs/rv32-vector.yaml +2 -1
  18. data/.data/cfgs/rv64-riscv-tests.yaml +2 -1
  19. data/.data/cfgs/rv64-vector.yaml +2 -1
  20. data/.data/spec/custom/isa/qc_iu/csr/Smrnmi/mnepc.yaml +17 -0
  21. data/.data/spec/custom/isa/qc_iu/csr/Xqccmi/qc.itba.yaml +45 -0
  22. data/.data/spec/custom/isa/qc_iu/csr/Xqccmi/qc.itdec.yaml +39 -0
  23. data/.data/spec/custom/isa/qc_iu/csr/jvt.yaml +11 -0
  24. data/.data/spec/custom/isa/qc_iu/csr/mepc.yaml +16 -0
  25. data/.data/spec/custom/isa/qc_iu/ext/Xqccmi.yaml +219 -0
  26. data/.data/spec/custom/isa/qc_iu/ext/Xqccmt.yaml +127 -0
  27. data/.data/spec/custom/isa/qc_iu/inst/Xqccmi/qc.cm.ilut.yaml +153 -0
  28. data/.data/spec/custom/isa/qc_iu/inst/Xqccmt/qc.cm.jalt.yaml +84 -0
  29. data/.data/spec/custom/isa/qc_iu/inst/Xqccmt/qc.cm.jt.yaml +60 -0
  30. data/.data/spec/custom/isa/qc_iu/isa/globals.isa +112 -0
  31. data/.data/spec/schemas/config_schema.json +219 -26
  32. data/.data/spec/schemas/csr_schema.json +0 -6
  33. data/.data/spec/schemas/ext_schema.json +80 -24
  34. data/.data/spec/schemas/inst_schema.json +0 -3
  35. data/.data/spec/schemas/profile_release_schema.json +1 -1
  36. data/.data/spec/schemas/profile_schema.json +0 -3
  37. data/.data/spec/schemas/register_file_schema.json +8 -3
  38. data/.data/spec/schemas/schema_defs.json +8 -27
  39. data/.data/spec/std/isa/csr/I/pmpcfg0.yaml +8 -8
  40. data/.data/spec/std/isa/csr/I/pmpcfg1.yaml +4 -4
  41. data/.data/spec/std/isa/csr/I/pmpcfg10.yaml +8 -8
  42. data/.data/spec/std/isa/csr/I/pmpcfg11.yaml +4 -4
  43. data/.data/spec/std/isa/csr/I/pmpcfg12.yaml +8 -8
  44. data/.data/spec/std/isa/csr/I/pmpcfg13.yaml +4 -4
  45. data/.data/spec/std/isa/csr/I/pmpcfg14.yaml +8 -8
  46. data/.data/spec/std/isa/csr/I/pmpcfg15.yaml +4 -4
  47. data/.data/spec/std/isa/csr/I/pmpcfg2.yaml +8 -8
  48. data/.data/spec/std/isa/csr/I/pmpcfg3.yaml +4 -4
  49. data/.data/spec/std/isa/csr/I/pmpcfg4.yaml +8 -8
  50. data/.data/spec/std/isa/csr/I/pmpcfg5.yaml +4 -4
  51. data/.data/spec/std/isa/csr/I/pmpcfg6.yaml +8 -8
  52. data/.data/spec/std/isa/csr/I/pmpcfg7.yaml +4 -4
  53. data/.data/spec/std/isa/csr/I/pmpcfg8.yaml +8 -8
  54. data/.data/spec/std/isa/csr/I/pmpcfg9.yaml +4 -4
  55. data/.data/spec/std/isa/csr/I/pmpcfgN.layout +1 -1
  56. data/.data/spec/std/isa/csr/Zicntr/mcountinhibit.layout +6 -2
  57. data/.data/spec/std/isa/csr/Zicntr/mcountinhibit.yaml +6 -2
  58. data/.data/spec/std/isa/csr/hstatus.yaml +16 -0
  59. data/.data/spec/std/isa/csr/mcycleh.yaml +1 -1
  60. data/.data/spec/std/isa/csr/misa.yaml +0 -12
  61. data/.data/spec/std/isa/csr/mstatus.yaml +38 -0
  62. data/.data/spec/std/isa/csr/mstatush.yaml +17 -15
  63. data/.data/spec/std/isa/csr/senvcfg.yaml +16 -0
  64. data/.data/spec/std/isa/csr/sstatus.yaml +12 -0
  65. data/.data/spec/std/isa/csr/vsstatus.yaml +24 -0
  66. data/.data/spec/std/isa/ext/A.yaml +5 -7
  67. data/.data/spec/std/isa/ext/S.yaml +12 -0
  68. data/.data/spec/std/isa/ext/Smpmpmt.yaml +52 -0
  69. data/.data/spec/std/isa/ext/Sv32.yaml +7 -19
  70. data/.data/spec/std/isa/ext/Sv39.yaml +7 -19
  71. data/.data/spec/std/isa/ext/Sv48.yaml +4 -20
  72. data/.data/spec/std/isa/ext/Sv57.yaml +4 -20
  73. data/.data/spec/std/isa/ext/Svukte.yaml +71 -0
  74. data/.data/spec/std/isa/ext/Zawrs.yaml +1 -1
  75. data/.data/spec/std/isa/ext/Zihpm.yaml +0 -12
  76. data/.data/spec/std/isa/inst/C/c.addi.yaml +1 -0
  77. data/.data/spec/std/isa/inst/C/c.addi16sp.yaml +1 -0
  78. data/.data/spec/std/isa/inst/C/c.addiw.yaml +1 -0
  79. data/.data/spec/std/isa/inst/C/c.andi.yaml +1 -0
  80. data/.data/spec/std/isa/inst/C/c.ldsp.yaml +1 -1
  81. data/.data/spec/std/isa/inst/C/c.li.yaml +1 -0
  82. data/.data/spec/std/isa/inst/C/c.lui.yaml +1 -0
  83. data/.data/spec/std/isa/inst/C/c.mv.yaml +1 -1
  84. data/.data/spec/std/isa/inst/C/c.sdsp.yaml +1 -1
  85. data/.data/spec/std/isa/inst/D/fsgnj.d.yaml +3 -0
  86. data/.data/spec/std/isa/inst/D/fsgnjn.d.yaml +3 -0
  87. data/.data/spec/std/isa/inst/D/fsgnjx.d.yaml +3 -0
  88. data/.data/spec/std/isa/inst/F/fadd.s.yaml +5 -5
  89. data/.data/spec/std/isa/inst/F/fclass.s.yaml +2 -2
  90. data/.data/spec/std/isa/inst/F/fcvt.l.s.yaml +1 -1
  91. data/.data/spec/std/isa/inst/F/fcvt.lu.s.yaml +1 -1
  92. data/.data/spec/std/isa/inst/F/fcvt.s.l.yaml +1 -1
  93. data/.data/spec/std/isa/inst/F/fcvt.s.lu.yaml +1 -1
  94. data/.data/spec/std/isa/inst/F/fcvt.s.w.yaml +1 -1
  95. data/.data/spec/std/isa/inst/F/fcvt.s.wu.yaml +1 -1
  96. data/.data/spec/std/isa/inst/F/fcvt.w.s.yaml +1 -1
  97. data/.data/spec/std/isa/inst/F/fcvt.wu.s.yaml +1 -1
  98. data/.data/spec/std/isa/inst/F/fdiv.s.yaml +1 -1
  99. data/.data/spec/std/isa/inst/F/feq.s.yaml +2 -2
  100. data/.data/spec/std/isa/inst/F/fle.s.yaml +2 -2
  101. data/.data/spec/std/isa/inst/F/fleq.s.yaml +2 -2
  102. data/.data/spec/std/isa/inst/F/flt.s.yaml +2 -2
  103. data/.data/spec/std/isa/inst/F/fltq.s.yaml +2 -2
  104. data/.data/spec/std/isa/inst/F/flw.yaml +2 -2
  105. data/.data/spec/std/isa/inst/F/fmadd.s.yaml +1 -1
  106. data/.data/spec/std/isa/inst/F/fmax.s.yaml +6 -6
  107. data/.data/spec/std/isa/inst/F/fmin.s.yaml +6 -6
  108. data/.data/spec/std/isa/inst/F/fmsub.s.yaml +1 -1
  109. data/.data/spec/std/isa/inst/F/fmul.s.yaml +1 -1
  110. data/.data/spec/std/isa/inst/F/fmv.w.x.yaml +2 -2
  111. data/.data/spec/std/isa/inst/F/fmv.x.w.yaml +1 -1
  112. data/.data/spec/std/isa/inst/F/fnmadd.s.yaml +2 -2
  113. data/.data/spec/std/isa/inst/F/fnmsub.s.yaml +1 -1
  114. data/.data/spec/std/isa/inst/F/fsgnj.s.yaml +4 -4
  115. data/.data/spec/std/isa/inst/F/fsgnjn.s.yaml +3 -3
  116. data/.data/spec/std/isa/inst/F/fsgnjx.s.yaml +4 -4
  117. data/.data/spec/std/isa/inst/F/fsqrt.s.yaml +1 -1
  118. data/.data/spec/std/isa/inst/F/fsub.s.yaml +1 -1
  119. data/.data/spec/std/isa/inst/F/fsw.yaml +1 -1
  120. data/.data/spec/std/isa/inst/I/addi.yaml +1 -1
  121. data/.data/spec/std/isa/inst/I/addiw.yaml +1 -1
  122. data/.data/spec/std/isa/inst/I/andi.yaml +1 -1
  123. data/.data/spec/std/isa/inst/I/beq.yaml +1 -1
  124. data/.data/spec/std/isa/inst/I/bge.yaml +4 -2
  125. data/.data/spec/std/isa/inst/I/bgeu.yaml +3 -0
  126. data/.data/spec/std/isa/inst/I/blt.yaml +4 -2
  127. data/.data/spec/std/isa/inst/I/bltu.yaml +3 -0
  128. data/.data/spec/std/isa/inst/I/bne.yaml +1 -1
  129. data/.data/spec/std/isa/inst/I/slt.yaml +2 -2
  130. data/.data/spec/std/isa/inst/I/sltiu.yaml +1 -1
  131. data/.data/spec/std/isa/inst/I/sltu.yaml +1 -1
  132. data/.data/spec/std/isa/inst/I/sub.yaml +1 -1
  133. data/.data/spec/std/isa/inst/I/subw.yaml +1 -1
  134. data/.data/spec/std/isa/inst/I/xori.yaml +1 -1
  135. data/.data/spec/std/isa/inst/M/mul.yaml +0 -19
  136. data/.data/spec/std/isa/inst/Q/fsgnj.q.yaml +1 -1
  137. data/.data/spec/std/isa/inst/S/sret.yaml +3 -1
  138. data/.data/spec/std/isa/inst/V/vadd.vv.yaml +1 -5
  139. data/.data/spec/std/isa/inst/V/vfsgnjn.vv.yaml +3 -0
  140. data/.data/spec/std/isa/inst/V/vfsgnjx.vv.yaml +3 -0
  141. data/.data/spec/std/isa/inst/V/vl1re8.v.yaml +3 -0
  142. data/.data/spec/std/isa/inst/V/vl2re8.v.yaml +3 -0
  143. data/.data/spec/std/isa/inst/V/vl4re8.v.yaml +3 -0
  144. data/.data/spec/std/isa/inst/V/vl8re8.v.yaml +3 -0
  145. data/.data/spec/std/isa/inst/V/vle8.v.yaml +3 -8
  146. data/.data/spec/std/isa/inst/V/vmand.mm.yaml +3 -0
  147. data/.data/spec/std/isa/inst/V/vmfle.vv.yaml +3 -0
  148. data/.data/spec/std/isa/inst/V/vmflt.vv.yaml +3 -0
  149. data/.data/spec/std/isa/inst/V/vmnand.mm.yaml +3 -0
  150. data/.data/spec/std/isa/inst/V/vmsgt.vi.yaml +3 -0
  151. data/.data/spec/std/isa/inst/V/vmsgtu.vi.yaml +3 -0
  152. data/.data/spec/std/isa/inst/V/vmsle.vi.yaml +3 -0
  153. data/.data/spec/std/isa/inst/V/vmsle.vv.yaml +3 -0
  154. data/.data/spec/std/isa/inst/V/vmsleu.vi.yaml +3 -0
  155. data/.data/spec/std/isa/inst/V/vmsleu.vv.yaml +3 -0
  156. data/.data/spec/std/isa/inst/V/vmslt.vv.yaml +3 -0
  157. data/.data/spec/std/isa/inst/V/vmsltu.vv.yaml +3 -0
  158. data/.data/spec/std/isa/inst/V/vmv.v.i.yaml +2 -13
  159. data/.data/spec/std/isa/inst/V/vmv.x.s.yaml +1 -1
  160. data/.data/spec/std/isa/inst/V/vmxnor.mm.yaml +3 -0
  161. data/.data/spec/std/isa/inst/V/vmxor.mm.yaml +3 -0
  162. data/.data/spec/std/isa/inst/V/vnsrl.wx.yaml +3 -0
  163. data/.data/spec/std/isa/inst/V/vrsub.vx.yaml +3 -0
  164. data/.data/spec/std/isa/inst/V/vse8.v.yaml +3 -4
  165. data/.data/spec/std/isa/inst/V/vwadd.vx.yaml +3 -0
  166. data/.data/spec/std/isa/inst/V/vwaddu.vx.yaml +3 -0
  167. data/.data/spec/std/isa/inst/V/vxor.vi.yaml +4 -0
  168. data/.data/spec/std/isa/inst/Zalasr/lSIZE.AQRL.layout +40 -5
  169. data/.data/spec/std/isa/inst/Zalasr/lb.aq.yaml +17 -1
  170. data/.data/spec/std/isa/inst/Zalasr/lb.aqrl.yaml +17 -1
  171. data/.data/spec/std/isa/inst/Zalasr/ld.aq.yaml +17 -1
  172. data/.data/spec/std/isa/inst/Zalasr/ld.aqrl.yaml +17 -1
  173. data/.data/spec/std/isa/inst/Zalasr/lh.aq.yaml +17 -1
  174. data/.data/spec/std/isa/inst/Zalasr/lh.aqrl.yaml +17 -1
  175. data/.data/spec/std/isa/inst/Zalasr/lw.aq.yaml +17 -1
  176. data/.data/spec/std/isa/inst/Zalasr/lw.aqrl.yaml +17 -1
  177. data/.data/spec/std/isa/inst/Zalasr/sSIZE.AQRL.layout +46 -5
  178. data/.data/spec/std/isa/inst/Zalasr/sb.aqrl.yaml +16 -1
  179. data/.data/spec/std/isa/inst/Zalasr/sb.rl.yaml +16 -1
  180. data/.data/spec/std/isa/inst/Zalasr/sd.aqrl.yaml +16 -1
  181. data/.data/spec/std/isa/inst/Zalasr/sd.rl.yaml +16 -1
  182. data/.data/spec/std/isa/inst/Zalasr/sh.aqrl.yaml +16 -1
  183. data/.data/spec/std/isa/inst/Zalasr/sh.rl.yaml +16 -1
  184. data/.data/spec/std/isa/inst/Zalasr/sw.aqrl.yaml +16 -1
  185. data/.data/spec/std/isa/inst/Zalasr/sw.rl.yaml +16 -1
  186. data/.data/spec/std/isa/inst/Zbkb/packw.yaml +1 -1
  187. data/.data/spec/std/isa/inst/Zcd/c.fld.yaml +1 -1
  188. data/.data/spec/std/isa/inst/Zcd/c.fldsp.yaml +1 -1
  189. data/.data/spec/std/isa/inst/Zcd/c.fsdsp.yaml +1 -1
  190. data/.data/spec/std/isa/inst/Zcf/c.flwsp.yaml +1 -1
  191. data/.data/spec/std/isa/inst/Zcf/c.fswsp.yaml +1 -1
  192. data/.data/spec/std/isa/inst/Zcmp/cm.pop.yaml +1 -1
  193. data/.data/spec/std/isa/inst/Zcmp/cm.popret.yaml +1 -1
  194. data/.data/spec/std/isa/inst/Zcmp/cm.popretz.yaml +1 -1
  195. data/.data/spec/std/isa/inst/Zcmp/cm.push.yaml +2 -3
  196. data/.data/spec/std/isa/inst/Zfa/fround.s.yaml +1 -1
  197. data/.data/spec/std/isa/inst/Zfh/fcvt.h.s.yaml +6 -6
  198. data/.data/spec/std/isa/inst/Zfh/fcvt.s.h.yaml +5 -5
  199. data/.data/spec/std/isa/inst/Zfh/flh.yaml +1 -1
  200. data/.data/spec/std/isa/inst/Zfh/fmv.h.x.yaml +1 -1
  201. data/.data/spec/std/isa/inst/Zfh/fmv.x.h.yaml +1 -1
  202. data/.data/spec/std/isa/inst/Zfh/fsh.yaml +1 -1
  203. data/.data/spec/std/isa/inst/Zicsr/csrrc.yaml +1 -1
  204. data/.data/spec/std/isa/inst/Zicsr/csrrci.yaml +1 -1
  205. data/.data/spec/std/isa/inst/Zicsr/csrrs.yaml +2 -2
  206. data/.data/spec/std/isa/inst/Zicsr/csrrsi.yaml +1 -1
  207. data/.data/spec/std/isa/inst/Zicsr/csrrw.yaml +1 -1
  208. data/.data/spec/std/isa/inst/Zicsr/csrrwi.yaml +1 -1
  209. data/.data/spec/std/isa/isa/builtin_functions.idl +17 -0
  210. data/.data/spec/std/isa/isa/fp.idl +1 -5
  211. data/.data/spec/std/isa/isa/globals.isa +45 -14
  212. data/.data/spec/std/isa/isa/vec.idl +1 -2
  213. data/.data/spec/std/isa/manual_version/isa/20240411/isa_20240411.yaml +5 -5
  214. data/.data/spec/std/isa/param/COUNTINHIBIT_EN.yaml +8 -2
  215. data/.data/spec/std/isa/param/JVT_BASE_MASK.yaml +1 -1
  216. data/.data/spec/std/isa/param/MCOUNTINHIBIT_IMPLEMENTED.yaml +25 -0
  217. data/.data/spec/std/isa/param/MTVEC_MODES.yaml +10 -3
  218. data/.data/spec/std/isa/param/VLEN.yaml +2 -0
  219. data/.data/spec/std/isa/profile/RVA20S64.yaml +11 -4
  220. data/.data/spec/std/isa/profile/RVA20U64.yaml +14 -5
  221. data/.data/spec/std/isa/profile/RVA22S64.yaml +14 -3
  222. data/.data/spec/std/isa/profile/RVA22U64.yaml +8 -1
  223. data/.data/spec/std/isa/profile/RVA23S64.yaml +13 -0
  224. data/.data/spec/std/isa/profile/RVA23U64.yaml +15 -1
  225. data/.data/spec/std/isa/profile/RVB23S64.yaml +15 -3
  226. data/.data/spec/std/isa/profile/RVB23U64.yaml +8 -1
  227. data/.data/spec/std/isa/profile/RVI20U32.yaml +8 -1
  228. data/.data/spec/std/isa/profile/RVI20U64.yaml +7 -0
  229. data/.data/spec/std/isa/register_file/F.yaml +3 -2
  230. data/.data/spec/std/isa/register_file/V.yaml +2 -2
  231. data/.data/spec/std/isa/register_file/X.yaml +2 -1
  232. data/lib/udb/architecture.rb +4 -25
  233. data/lib/udb/cfg_arch.rb +171 -59
  234. data/lib/udb/cli.rb +10 -1
  235. data/lib/udb/condition.rb +38 -37
  236. data/lib/udb/config.rb +72 -6
  237. data/lib/udb/logic.rb +29 -56
  238. data/lib/udb/obj/csr.rb +23 -5
  239. data/lib/udb/obj/csr_field.rb +36 -21
  240. data/lib/udb/obj/database_obj.rb +2 -5
  241. data/lib/udb/obj/extension.rb +0 -3
  242. data/lib/udb/obj/instruction.rb +1 -4
  243. data/lib/udb/obj/portfolio.rb +75 -20
  244. data/lib/udb/obj/profile.rb +0 -4
  245. data/lib/udb/obj/register_file.rb +63 -2
  246. data/lib/udb/portfolio_design.rb +3 -6
  247. data/lib/udb/resolver.rb +84 -23
  248. data/lib/udb/version.rb +1 -1
  249. data/lib/udb/version_spec.rb +8 -0
  250. data/lib/udb/z3.rb +23 -0
  251. data/lib/udb.rb +0 -3
  252. metadata +25 -37
  253. data/.data/cfgs/profile/RVA23M64.yaml +0 -159
  254. data/.data/cfgs/profile/RVB23M64.yaml +0 -149
  255. data/.data/spec/schemas/proc_cert_class_schema.json +0 -35
  256. data/.data/spec/schemas/proc_cert_model_schema.json +0 -336
  257. data/.data/spec/std/isa/proc_cert_class/AC.yaml +0 -13
  258. data/.data/spec/std/isa/proc_cert_class/MC.yaml +0 -13
  259. data/.data/spec/std/isa/proc_cert_class/RVI.yaml +0 -16
  260. data/.data/spec/std/isa/proc_cert_model/AC100.yaml +0 -72
  261. data/.data/spec/std/isa/proc_cert_model/AC200.yaml +0 -58
  262. data/.data/spec/std/isa/proc_cert_model/MC100-32.yaml +0 -155
  263. data/.data/spec/std/isa/proc_cert_model/MC100-64.yaml +0 -21
  264. data/.data/spec/std/isa/proc_cert_model/MC200-32.yaml +0 -60
  265. data/.data/spec/std/isa/proc_cert_model/MC200-64.yaml +0 -21
  266. data/.data/spec/std/isa/proc_cert_model/MC300-32.yaml +0 -40
  267. data/.data/spec/std/isa/proc_cert_model/MC300-64.yaml +0 -21
  268. data/.data/spec/std/isa/proc_cert_model/RVI20-32.yaml +0 -39
  269. data/.data/spec/std/isa/proc_cert_model/RVI20-64.yaml +0 -19
  270. data/.data/spec/std/isa/profile/RVA23M64.yaml +0 -24
  271. data/.data/spec/std/isa/profile/RVB23M64.yaml +0 -86
  272. data/lib/udb/cert_normative_rule.rb +0 -41
  273. data/lib/udb/obj/certifiable_obj.rb +0 -21
  274. data/lib/udb/obj/certificate.rb +0 -230
  275. data/lib/udb/proc_cert_design.rb +0 -77
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA256:
3
- metadata.gz: eacb60feeaaca9c368b3e7785efe85a03e6cf32a228b2e9b73a75eee1e527a6b
4
- data.tar.gz: da1c153ff0e163d593f2ece814b9e71d3de7a421795920f9f688913f26ae170e
3
+ metadata.gz: a3c1ac46d7a7612704172bcdd8ec9a5d2fe55936b5c2aa8341a684cc5aa61909
4
+ data.tar.gz: 76b89f28a9e70ac5376bf815c7fc21e28bc56bf3e685be958e58d0bb18b45328
5
5
  SHA512:
6
- metadata.gz: 920b67cb9bf2b9a6227b1251c3387050e2ea9257d400152dfc10c71dd53ff7f79bbf336749859755d415dff899b0f519a764a8e75e9d0c62d0cfedb88cef09fa
7
- data.tar.gz: 34d834ebf04de3fc3da7e9ea61e84236235ef4001aadb4f53237d8afbdf5f169064ddad49c717eedee9444e4860875105623b7ef6b292a2ab94364404d9f6afa
6
+ metadata.gz: a56d1927a8649d58a0af62af8a473c1a998db9180425855c99c0bc6565125109750ba593891e5ec691708da2e3598148953b8094a13d82abae0391c82cb018bb
7
+ data.tar.gz: d4fc5b635b10dcaece666c73052f154fc5b5eb24ef8e29e0ae5d1b25bf69e7698e3ae992b5b71a42540d6c4876355257c5d0eb63641daf9680e96d0c5cd528db
data/.data/cfgs/example_rv64_with_overlay.yaml CHANGED
@@ -46,8 +46,8 @@ implemented_extensions:
46
46
  - [Ssaia, "1.0.0"]
47
47
  - [Ssccfg, "1.0.0"]
48
48
  - [Sstc, "1.0.0"]
49
- - [Sv39, "1.12.0"]
50
- - [Sv48, "1.12.0"]
49
+ - [Sv39, "1.0"]
50
+ - [Sv48, "1.0"]
51
51
  - [Zicboz, "1.0.0"]
52
52
  - [Zicbom, "1.0.0"]
53
53
 
@@ -304,6 +304,9 @@ params:
304
304
  # Whether or not the `misa` CSR returns zero or a non-zero value.
305
305
  MISA_CSR_IMPLEMENTED: true
306
306
 
307
+ # Whether or not the `mcountinhibit` CSR is implemented.
308
+ MCOUNTINHIBIT_IMPLEMENTED: true
309
+
307
310
  # when true, *tval is written with the virtual PC of the EBREAK instruction (same information as *epc)
308
311
  # when false, *tval is written with 0 on an EBREAK instruction
309
312
  #
data/.data/cfgs/mc100-32-full-example.yaml CHANGED
@@ -46,6 +46,7 @@ params:
46
46
  PMA_GRANULARITY: 12
47
47
  PHYS_ADDR_WIDTH: 32
48
48
  MISA_CSR_IMPLEMENTED: true
49
+ MCOUNTINHIBIT_IMPLEMENTED: true
49
50
  MTVEC_ACCESS: rw
50
51
  MTVEC_ILLEGAL_WRITE_BEHAVIOR: retain
51
52
  MTVEC_MODES: [0, 1]
data/.data/cfgs/profile/README.adoc ADDED
@@ -0,0 +1,10 @@
1
+ = Profile Configurations
2
+
3
+ Configs in `cfgs/profile` are generated from the specifications in `spec/std/isa/profile`.
4
+ They are partial configurations that represent a profile-compliant implementation.
5
+
6
+ The profile configurations are _strict_.
7
+ That is, they list the extension/params listed in the profile spec,
8
+ plus any extensions/params that are required transitively (e.g., A requires Zaamo and Zalrsc)
9
+
10
+ The strict configs are compatible with non-strict configs (simply more expressive).
data/.data/cfgs/profile/RVA20S64.yaml CHANGED
@@ -10,23 +10,24 @@ kind: architecture configuration
10
10
  type: partially configured
11
11
  name: RVA20S64
12
12
  description:
13
- params:
14
- MXLEN: 64
13
+ params: {}
15
14
  mandatory_extensions:
16
15
  - name: A
17
16
  version: "~> 2.1"
18
17
  - name: C
19
18
  version: "~> 2.0"
20
19
  - name: D
21
- version: "~> 2.2"
20
+ version: "~> 2.2.0"
22
21
  - name: F
23
- version: "~> 2.2"
22
+ version: "~> 2.2.0"
24
23
  - name: I
25
24
  version: "~> 2.1"
26
25
  - name: M
27
26
  version: "~> 2.0"
28
27
  - name: S
29
28
  version: "~> 1.11"
29
+ - name: Sm
30
+ version: "~> 1.12.0"
30
31
  - name: Ssccptr
31
32
  version: "~> 1.0"
32
33
  - name: Sstvala
@@ -34,7 +35,7 @@ mandatory_extensions:
34
35
  - name: Sstvecd
35
36
  version: "~> 1.0"
36
37
  - name: Sv39
37
- version: "~> 1.11"
38
+ version: "~> 1.0"
38
39
  - name: Svade
39
40
  version: "~> 1.0"
40
41
  - name: Svbare
@@ -43,6 +44,14 @@ mandatory_extensions:
43
44
  version: "~> 1.0"
44
45
  - name: Za128rs
45
46
  version: "~> 1.0"
47
+ - name: Zaamo
48
+ version: "~> 1.0.0"
49
+ - name: Zalrsc
50
+ version: "~> 1.0.0"
51
+ - name: Zca
52
+ version: "~> 1.0.0"
53
+ - name: Zcd
54
+ version: "~> 1.0.0"
46
55
  - name: Ziccamoa
47
56
  version: "~> 1.0"
48
57
  - name: Ziccif
@@ -61,7 +70,7 @@ non_mandatory_extensions:
61
70
  - name: Ssu64xl
62
71
  version: "~> 1.0"
63
72
  - name: Sv48
64
- version: "~> 1.11"
73
+ version: "~> 1.0"
65
74
  - name: Zca
66
75
  version: "~> 1.0"
67
76
  - name: Zcd
@@ -71,3 +80,14 @@ non_mandatory_extensions:
71
80
  - name: Zihpm
72
81
  version: "~> 2.0"
73
82
  additional_extensions: true
83
+ requirements:
84
+ param:
85
+ allOf:
86
+ - name: U_MODE_ENDIANNESS
87
+ equal: little
88
+ - name: S_MODE_ENDIANNESS
89
+ equal: little
90
+ - name: SXLEN
91
+ includes: 64
92
+ - name: UXLEN
93
+ includes: 64
data/.data/cfgs/profile/RVA20U64.yaml CHANGED
@@ -10,17 +10,16 @@ kind: architecture configuration
10
10
  type: partially configured
11
11
  name: RVA20U64
12
12
  description:
13
- params:
14
- MXLEN: 64
13
+ params: {}
15
14
  mandatory_extensions:
16
15
  - name: A
17
16
  version: "~> 2.1"
18
17
  - name: C
19
18
  version: "~> 2.0"
20
19
  - name: D
21
- version: "~> 2.2"
20
+ version: "~> 2.2.0"
22
21
  - name: F
23
- version: "~> 2.2"
22
+ version: "~> 2.2.0"
24
23
  - name: I
25
24
  version: "~> 2.1"
26
25
  - name: M
@@ -29,6 +28,14 @@ mandatory_extensions:
29
28
  version: "~> 1.0"
30
29
  - name: Za128rs
31
30
  version: "~> 1.0"
31
+ - name: Zaamo
32
+ version: "~> 1.0.0"
33
+ - name: Zalrsc
34
+ version: "~> 1.0.0"
35
+ - name: Zca
36
+ version: "~> 1.0.0"
37
+ - name: Zcd
38
+ version: "~> 1.0.0"
32
39
  - name: Ziccamoa
33
40
  version: "~> 1.0"
34
41
  - name: Ziccif
@@ -51,3 +58,10 @@ non_mandatory_extensions:
51
58
  - name: Zihpm
52
59
  version: "~> 2.0"
53
60
  additional_extensions: true
61
+ requirements:
62
+ param:
63
+ allOf:
64
+ - name: U_MODE_ENDIANNESS
65
+ equal: little
66
+ - name: UXLEN
67
+ includes: 64
data/.data/cfgs/profile/RVA22S64.yaml CHANGED
@@ -10,8 +10,7 @@ kind: architecture configuration
10
10
  type: partially configured
11
11
  name: RVA22S64
12
12
  description:
13
- params:
14
- MXLEN: 64
13
+ params: {}
15
14
  mandatory_extensions:
16
15
  - name: A
17
16
  version: "~> 2.1"
@@ -20,15 +19,17 @@ mandatory_extensions:
20
19
  - name: C
21
20
  version: "~> 2.0"
22
21
  - name: D
23
- version: "~> 2.2"
22
+ version: "~> 2.2.0"
24
23
  - name: F
25
- version: "~> 2.2"
24
+ version: "~> 2.2.0"
26
25
  - name: I
27
26
  version: "~> 2.1"
28
27
  - name: M
29
28
  version: "~> 2.0"
30
29
  - name: S
31
30
  version: "~> 1.12"
31
+ - name: Sm
32
+ version: "~> 1.12.0"
32
33
  - name: Ssccptr
33
34
  version: "~> 1.0"
34
35
  - name: Sscounterenw
@@ -38,7 +39,7 @@ mandatory_extensions:
38
39
  - name: Sstvecd
39
40
  version: "~> 1.0"
40
41
  - name: Sv39
41
- version: "~> 1.12"
42
+ version: "~> 1.0"
42
43
  - name: Svade
43
44
  version: "~> 1.0"
44
45
  - name: Svbare
@@ -53,12 +54,20 @@ mandatory_extensions:
53
54
  version: "~> 1.0"
54
55
  - name: Za64rs
55
56
  version: "~> 1.0"
57
+ - name: Zaamo
58
+ version: "~> 1.0.0"
59
+ - name: Zalrsc
60
+ version: "~> 1.0.0"
56
61
  - name: Zba
57
62
  version: "~> 1.0"
58
63
  - name: Zbb
59
64
  version: "~> 1.0"
60
65
  - name: Zbs
61
66
  version: "~> 1.0"
67
+ - name: Zca
68
+ version: "~> 1.0.0"
69
+ - name: Zcd
70
+ version: "~> 1.0.0"
62
71
  - name: Zfhmin
63
72
  version: "~> 1.0"
64
73
  - name: Zic64b
@@ -99,9 +108,9 @@ non_mandatory_extensions:
99
108
  - name: Ssu64xl
100
109
  version: "~> 1.0"
101
110
  - name: Sv48
102
- version: "~> 1.12"
111
+ version: "~> 1.0"
103
112
  - name: Sv57
104
- version: "~> 1.12"
113
+ version: "~> 1.0"
105
114
  - name: Svnapot
106
115
  version: "~> 1.0"
107
116
  - name: V
@@ -121,3 +130,14 @@ non_mandatory_extensions:
121
130
  - name: Zks
122
131
  version: "~> 1.0"
123
132
  additional_extensions: true
133
+ requirements:
134
+ param:
135
+ allOf:
136
+ - name: U_MODE_ENDIANNESS
137
+ equal: little
138
+ - name: S_MODE_ENDIANNESS
139
+ equal: little
140
+ - name: SXLEN
141
+ includes: 64
142
+ - name: UXLEN
143
+ includes: 64
data/.data/cfgs/profile/RVA22U64.yaml CHANGED
@@ -10,8 +10,7 @@ kind: architecture configuration
10
10
  type: partially configured
11
11
  name: RVA22U64
12
12
  description:
13
- params:
14
- MXLEN: 64
13
+ params: {}
15
14
  mandatory_extensions:
16
15
  - name: A
17
16
  version: "~> 2.1"
@@ -20,9 +19,9 @@ mandatory_extensions:
20
19
  - name: C
21
20
  version: "~> 2.0"
22
21
  - name: D
23
- version: "~> 2.2"
22
+ version: "~> 2.2.0"
24
23
  - name: F
25
- version: "~> 2.2"
24
+ version: "~> 2.2.0"
26
25
  - name: I
27
26
  version: "~> 2.1"
28
27
  - name: M
@@ -33,12 +32,20 @@ mandatory_extensions:
33
32
  version: "~> 1.0"
34
33
  - name: Za64rs
35
34
  version: "~> 1.0"
35
+ - name: Zaamo
36
+ version: "~> 1.0.0"
37
+ - name: Zalrsc
38
+ version: "~> 1.0.0"
36
39
  - name: Zba
37
40
  version: "~> 1.0"
38
41
  - name: Zbb
39
42
  version: "~> 1.0"
40
43
  - name: Zbs
41
44
  version: "~> 1.0"
45
+ - name: Zca
46
+ version: "~> 1.0.0"
47
+ - name: Zcd
48
+ version: "~> 1.0.0"
42
49
  - name: Zfhmin
43
50
  version: "~> 1.0"
44
51
  - name: Zic64b
@@ -83,3 +90,10 @@ non_mandatory_extensions:
83
90
  - name: Zks
84
91
  version: "~> 1.0"
85
92
  additional_extensions: true
93
+ requirements:
94
+ param:
95
+ allOf:
96
+ - name: U_MODE_ENDIANNESS
97
+ equal: little
98
+ - name: UXLEN
99
+ includes: 64
data/.data/cfgs/profile/RVA23S64.yaml CHANGED
@@ -10,8 +10,7 @@ kind: architecture configuration
10
10
  type: partially configured
11
11
  name: RVA23S64
12
12
  description:
13
- params:
14
- MXLEN: 64
13
+ params: {}
15
14
  mandatory_extensions:
16
15
  - name: A
17
16
  version: "~> 2.1"
@@ -20,9 +19,11 @@ mandatory_extensions:
20
19
  - name: C
21
20
  version: "~> 2.0"
22
21
  - name: D
23
- version: "~> 2.2"
22
+ version: "~> 2.2.0"
24
23
  - name: F
25
- version: "~> 2.2"
24
+ version: "~> 2.2.0"
25
+ - name: H
26
+ version: "~> 1.0"
26
27
  - name: I
27
28
  version: "~> 2.1"
28
29
  - name: M
@@ -31,6 +32,20 @@ mandatory_extensions:
31
32
  version: "~> 1.13"
32
33
  - name: Sha
33
34
  version: "~> 1.0"
35
+ - name: Shcounterenw
36
+ version: "~> 1.0.0"
37
+ - name: Shgatpa
38
+ version: "~> 1.0.0"
39
+ - name: Shtvala
40
+ version: "~> 1.0.0"
41
+ - name: Shvsatpa
42
+ version: "~> 1.0.0"
43
+ - name: Shvstvala
44
+ version: "~> 1.0.0"
45
+ - name: Shvstvecd
46
+ version: "~> 1.0.0"
47
+ - name: Sm
48
+ version: "~> 1.13.0"
34
49
  - name: Ssccptr
35
50
  version: "~> 1.0"
36
51
  - name: Sscofpmf
@@ -39,6 +54,8 @@ mandatory_extensions:
39
54
  version: "~> 1.0"
40
55
  - name: Ssnpm
41
56
  version: "~> 1.0"
57
+ - name: Ssstateen
58
+ version: "~> 1.0"
42
59
  - name: Sstc
43
60
  version: "~> 1.0"
44
61
  - name: Sstvala
@@ -69,6 +86,10 @@ mandatory_extensions:
69
86
  version: "~> 1.0"
70
87
  - name: Za64rs
71
88
  version: "~> 1.0"
89
+ - name: Zaamo
90
+ version: "~> 1.0.0"
91
+ - name: Zalrsc
92
+ version: "~> 1.0.0"
72
93
  - name: Zawrs
73
94
  version: "~> 1.0"
74
95
  - name: Zba
@@ -77,8 +98,12 @@ mandatory_extensions:
77
98
  version: "~> 1.0"
78
99
  - name: Zbs
79
100
  version: "~> 1.0"
101
+ - name: Zca
102
+ version: "~> 1.0.0"
80
103
  - name: Zcb
81
104
  version: "~> 1.0"
105
+ - name: Zcd
106
+ version: "~> 1.0.0"
82
107
  - name: Zcmop
83
108
  version: "~> 1.0"
84
109
  - name: Zfa
@@ -108,7 +133,7 @@ mandatory_extensions:
108
133
  - name: Zicsr
109
134
  version: "~> 2.0"
110
135
  - name: Zifencei
111
- version: "~> 1.0"
136
+ version: "~> 2.0"
112
137
  - name: Zihintntl
113
138
  version: "~> 1.0"
114
139
  - name: Zihintpause
@@ -121,10 +146,28 @@ mandatory_extensions:
121
146
  version: "~> 1.0"
122
147
  - name: Zvbb
123
148
  version: "~> 1.0"
149
+ - name: Zve32f
150
+ version: "~> 1.0.0"
151
+ - name: Zve32x
152
+ version: "~> 1.0.0"
153
+ - name: Zve64d
154
+ version: "~> 1.0.0"
155
+ - name: Zve64f
156
+ version: "~> 1.0.0"
157
+ - name: Zve64x
158
+ version: "~> 1.0.0"
124
159
  - name: Zvfhmin
125
160
  version: "~> 1.0"
161
+ - name: Zvkb
162
+ version: "~> 1.0.0"
126
163
  - name: Zvkt
127
164
  version: "~> 1.0"
165
+ - name: Zvl128b
166
+ version: "~> 1.0.0"
167
+ - name: Zvl32b
168
+ version: "~> 1.0.0"
169
+ - name: Zvl64b
170
+ version: "~> 1.0.0"
128
171
  non_mandatory_extensions:
129
172
  - name: Sdtrig
130
173
  version: "~> 1.0"
@@ -133,9 +176,9 @@ non_mandatory_extensions:
133
176
  - name: Ssstrict
134
177
  version: "~> 1.0"
135
178
  - name: Sv48
136
- version: "~> 1.13"
179
+ version: "~> 1.0"
137
180
  - name: Sv57
138
- version: "~> 1.13"
181
+ version: "~> 1.0"
139
182
  - name: Svadu
140
183
  version: "~> 1.0"
141
184
  - name: Svvptc
@@ -149,3 +192,14 @@ non_mandatory_extensions:
149
192
  - name: Zkr
150
193
  version: "~> 1.0"
151
194
  additional_extensions: true
195
+ requirements:
196
+ param:
197
+ allOf:
198
+ - name: U_MODE_ENDIANNESS
199
+ equal: little
200
+ - name: S_MODE_ENDIANNESS
201
+ equal: little
202
+ - name: SXLEN
203
+ includes: 64
204
+ - name: UXLEN
205
+ includes: 64
data/.data/cfgs/profile/RVA23U64.yaml CHANGED
@@ -10,8 +10,7 @@ kind: architecture configuration
10
10
  type: partially configured
11
11
  name: RVA23U64
12
12
  description:
13
- params:
14
- MXLEN: 64
13
+ params: {}
15
14
  mandatory_extensions:
16
15
  - name: A
17
16
  version: "~> 2.1"
@@ -20,9 +19,9 @@ mandatory_extensions:
20
19
  - name: C
21
20
  version: "~> 2.0"
22
21
  - name: D
23
- version: "~> 2.2"
22
+ version: "~> 2.2.0"
24
23
  - name: F
25
- version: "~> 2.2"
24
+ version: "~> 2.2.0"
26
25
  - name: I
27
26
  version: "~> 2.1"
28
27
  - name: M
@@ -37,6 +36,10 @@ mandatory_extensions:
37
36
  version: "~> 1.0"
38
37
  - name: Za64rs
39
38
  version: "~> 1.0"
39
+ - name: Zaamo
40
+ version: "~> 1.0.0"
41
+ - name: Zalrsc
42
+ version: "~> 1.0.0"
40
43
  - name: Zawrs
41
44
  version: "~> 1.0"
42
45
  - name: Zba
@@ -45,8 +48,12 @@ mandatory_extensions:
45
48
  version: "~> 1.0"
46
49
  - name: Zbs
47
50
  version: "~> 1.0"
51
+ - name: Zca
52
+ version: "~> 1.0.0"
48
53
  - name: Zcb
49
54
  version: "~> 1.0"
55
+ - name: Zcd
56
+ version: "~> 1.0.0"
50
57
  - name: Zcmop
51
58
  version: "~> 1.0"
52
59
  - name: Zfa
@@ -87,10 +94,28 @@ mandatory_extensions:
87
94
  version: "~> 1.0"
88
95
  - name: Zvbb
89
96
  version: "~> 1.0"
97
+ - name: Zve32f
98
+ version: "~> 1.0.0"
99
+ - name: Zve32x
100
+ version: "~> 1.0.0"
101
+ - name: Zve64d
102
+ version: "~> 1.0.0"
103
+ - name: Zve64f
104
+ version: "~> 1.0.0"
105
+ - name: Zve64x
106
+ version: "~> 1.0.0"
90
107
  - name: Zvfhmin
91
108
  version: "~> 1.0"
109
+ - name: Zvkb
110
+ version: "~> 1.0.0"
92
111
  - name: Zvkt
93
112
  version: "~> 1.0"
113
+ - name: Zvl128b
114
+ version: "~> 1.0.0"
115
+ - name: Zvl32b
116
+ version: "~> 1.0.0"
117
+ - name: Zvl64b
118
+ version: "~> 1.0.0"
94
119
  non_mandatory_extensions:
95
120
  - name: Zabha
96
121
  version: "~> 1.0"
@@ -129,3 +154,10 @@ non_mandatory_extensions:
129
154
  - name: Zvksg
130
155
  version: "~> 1.0"
131
156
  additional_extensions: true
157
+ requirements:
158
+ param:
159
+ allOf:
160
+ - name: U_MODE_ENDIANNESS
161
+ equal: little
162
+ - name: UXLEN
163
+ includes: 64
data/.data/cfgs/profile/RVB23S64.yaml CHANGED
@@ -10,8 +10,7 @@ kind: architecture configuration
10
10
  type: partially configured
11
11
  name: RVB23S64
12
12
  description:
13
- params:
14
- MXLEN: 64
13
+ params: {}
15
14
  mandatory_extensions:
16
15
  - name: A
17
16
  version: "~> 2.1"
@@ -20,15 +19,17 @@ mandatory_extensions:
20
19
  - name: C
21
20
  version: "~> 2.0"
22
21
  - name: D
23
- version: "~> 2.2"
22
+ version: "~> 2.2.0"
24
23
  - name: F
25
- version: "~> 2.2"
24
+ version: "~> 2.2.0"
26
25
  - name: I
27
26
  version: "~> 2.1"
28
27
  - name: M
29
28
  version: "~> 2.0"
30
29
  - name: S
31
30
  version: "~> 1.13"
31
+ - name: Sm
32
+ version: "~> 1.13.0"
32
33
  - name: Ssccptr
33
34
  version: "~> 1.0"
34
35
  - name: Sscofpmf
@@ -61,6 +62,10 @@ mandatory_extensions:
61
62
  version: "~> 1.0"
62
63
  - name: Za64rs
63
64
  version: "~> 1.0"
65
+ - name: Zaamo
66
+ version: "~> 1.0.0"
67
+ - name: Zalrsc
68
+ version: "~> 1.0.0"
64
69
  - name: Zawrs
65
70
  version: "~> 1.0"
66
71
  - name: Zba
@@ -69,8 +74,12 @@ mandatory_extensions:
69
74
  version: "~> 1.0"
70
75
  - name: Zbs
71
76
  version: "~> 1.0"
77
+ - name: Zca
78
+ version: "~> 1.0.0"
72
79
  - name: Zcb
73
80
  version: "~> 1.0"
81
+ - name: Zcd
82
+ version: "~> 1.0.0"
74
83
  - name: Zcmop
75
84
  version: "~> 1.0"
76
85
  - name: Zfa
@@ -98,7 +107,7 @@ mandatory_extensions:
98
107
  - name: Zicsr
99
108
  version: "~> 2.0"
100
109
  - name: Zifencei
101
- version: "~> 1.0"
110
+ version: "~> 2.0"
102
111
  - name: Zihintntl
103
112
  version: "~> 1.0"
104
113
  - name: Zihintpause
@@ -121,9 +130,9 @@ non_mandatory_extensions:
121
130
  - name: Ssstrict
122
131
  version: "~> 1.0"
123
132
  - name: Sv48
124
- version: "~> 1.13"
133
+ version: "~> 1.0"
125
134
  - name: Sv57
126
- version: "~> 1.13"
135
+ version: "~> 1.0"
127
136
  - name: Svadu
128
137
  version: "~> 1.0"
129
138
  - name: Svvptc
@@ -145,3 +154,14 @@ non_mandatory_extensions:
145
154
  - name: Zks
146
155
  version: "~> 1.0"
147
156
  additional_extensions: true
157
+ requirements:
158
+ param:
159
+ allOf:
160
+ - name: U_MODE_ENDIANNESS
161
+ equal: little
162
+ - name: S_MODE_ENDIANNESS
163
+ equal: little
164
+ - name: SXLEN
165
+ includes: 64
166
+ - name: UXLEN
167
+ includes: 64
data/.data/cfgs/profile/RVB23U64.yaml CHANGED
@@ -10,8 +10,7 @@ kind: architecture configuration
10
10
  type: partially configured
11
11
  name: RVB23U64
12
12
  description:
13
- params:
14
- MXLEN: 64
13
+ params: {}
15
14
  mandatory_extensions:
16
15
  - name: A
17
16
  version: "~> 2.1"
@@ -20,9 +19,9 @@ mandatory_extensions:
20
19
  - name: C
21
20
  version: "~> 2.0"
22
21
  - name: D
23
- version: "~> 2.2"
22
+ version: "~> 2.2.0"
24
23
  - name: F
25
- version: "~> 2.2"
24
+ version: "~> 2.2.0"
26
25
  - name: I
27
26
  version: "~> 2.1"
28
27
  - name: M
@@ -33,6 +32,10 @@ mandatory_extensions:
33
32
  version: "~> 1.0"
34
33
  - name: Za64rs
35
34
  version: "~> 1.0"
35
+ - name: Zaamo
36
+ version: "~> 1.0.0"
37
+ - name: Zalrsc
38
+ version: "~> 1.0.0"
36
39
  - name: Zawrs
37
40
  version: "~> 1.0"
38
41
  - name: Zba
@@ -41,8 +44,12 @@ mandatory_extensions:
41
44
  version: "~> 1.0"
42
45
  - name: Zbs
43
46
  version: "~> 1.0"
47
+ - name: Zca
48
+ version: "~> 1.0.0"
44
49
  - name: Zcb
45
50
  version: "~> 1.0"
51
+ - name: Zcd
52
+ version: "~> 1.0.0"
46
53
  - name: Zcmop
47
54
  version: "~> 1.0"
48
55
  - name: Zfa
@@ -139,3 +146,10 @@ non_mandatory_extensions:
139
146
  - name: Zvkt
140
147
  version: "~> 1.0"
141
148
  additional_extensions: true
149
+ requirements:
150
+ param:
151
+ allOf:
152
+ - name: U_MODE_ENDIANNESS
153
+ equal: little
154
+ - name: UXLEN
155
+ includes: 64