MicroTESK

В качестве примера можно посмотреть шаблон:
https://forge.ispras.ru/projects/microtesk-riscv/repository/385/revisions/master/entry/src/main/arch/riscv/templates/sequence/boundary_data.rb

    sequence {
      add a0, a1, a2 do testdata('boundary') end      
      sub a3, a0, a4 do testdata('boundary') end      
    }.run

Не учитывается зависимость:

    Preparation
    li a1, 0x7fffffffffffffff
    li a2, 0x7fffffffffffffff
    li a0, 0x7fffffffffffffff
    li a4, 0x7fffffffffffffff

    Stimulus
    add a0, a1, a2
    sub a3, a0, a4

Так же нужен пример, где генерируются граничные значения для регистров a1, a2, a4 и итерация идет для каждого из регистра.