index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
aarch64_small
/
mono-splices
/
SignExtend.sail
blob: 6a263563e94b5ade502a4a861a329d7aaa17037e (
plain
)
1
2
3
function SignExtend (N,x) = { return(extsv(x)) }