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: 7cf8cb8d8b2c5e104f3f5973b1a2cb1a52f05722 (plain)

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