Searched defs:ADDIW (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/step/
H A Driscv_stepScript.sml815 val ADDIW = arithi [[``^archbase <> 0w``]] "ADDIW" value
/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig
H A Driscv.sml

Completed in 121 milliseconds