riscv_termination_rv32.sail\model - sail-riscv.git - Unnamed repository; edit this file 'description' to name the repository.

index : sail-riscv.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/model/riscv_termination_rv32.sail

blob: 7318421258f9a96aedf4175e35b26bdbaf18b811 (plain)

1	`termination_measure walk32(_,_,_,_,_,_,level,_,_) = level`