diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-02-27 12:47:03 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-02-27 12:47:28 -0800 |
| commit | dee912ab4b724eb05bfd229032e80d29aea9ea64 (patch) | |
| tree | 206846b7731b23b932c21beaf7a69fbbba993b59 /model/riscv_termination_rv32.sail | |
| parent | 026d08247408c49828e38221fd0899349a82e1b6 (diff) | |
| download | sail-riscv-dee912ab4b724eb05bfd229032e80d29aea9ea64.zip sail-riscv-dee912ab4b724eb05bfd229032e80d29aea9ea64.tar.gz sail-riscv-dee912ab4b724eb05bfd229032e80d29aea9ea64.tar.bz2 | |
Initial attempt to separate generated files by ARCH. Some backends/rvfi/rmem still to be tested.
Diffstat (limited to 'model/riscv_termination_rv32.sail')
| -rw-r--r-- | model/riscv_termination_rv32.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/model/riscv_termination_rv32.sail b/model/riscv_termination_rv32.sail new file mode 100644 index 0000000..7cf8cb8 --- /dev/null +++ b/model/riscv_termination_rv32.sail @@ -0,0 +1 @@ +termination_measure walk32(_,_,_,_,_,_,level,_) = level |