vaesdm.vv.toml

name = "vaesdm.vv"
format = "vd,vs2"

[tests]
base = [
    [0x0, 0x0],
    [0x1, 0x2],
    [0x3, 0xf]
]

sew32 = [
    [0xfffffff8, 0x00000000],
    [0xffffff80, 0xfffffff8],
    [0x00007fff, 0x00000000],
    [0x00007fff, 0x000007ff],
    [0x00007fff, 0x00000001],
    [0xffffffff, 0x00000000],
    [0xffffffff, 0xffffffff]
]