Stafford Horne
Stafford Horne
For a particular use case see mor1kx-generic: https://github.com/stffrdhrn/mor1kx-generic/blob/master/mor1kx-generic.core#L61 For verilator there is a build stage which needs parameters like `--pipeline=CAPPUCCINO` or `--enable_mmu` used to control generate blocks in the verilog,...
This can be tested by setting the cache with in `mor1k_dcache.sby` and running `make -C bench/formal mor1kx_dcache`. It seems the generator logic does not work with smaller cache widths.
The `mor1kx_lsu_cappuccino` write ack logic depends on writes to the store buffer to be acked. If we disable the store buffer acks are not returned and the system does not...
When fixing #146 I rewrote formal properties to do a better job of simulating real Load/Store and Dcache transactions. I was able to track down the bug and fix it....
When running the `or1k-tests` with ESPRESSO pipeline I am seeing many tests fail. ``` < shorne@lianli ~/work/openrisc/or1k-tests/native > ./runtests.sh Running or1k-alignillegalinsn TIME OUT Running or1k-backtoback_jmp TIME OUT Running or1k-basic TIME...
As per the comment in the `THREESTAGE` multiplier it doesn't support overflow detection. This causes the compliance tests in `or1k-tests` to fail. See: https://github.com/openrisc/mor1kx/blob/master/rtl/verilog/mor1kx_execute_alu.v#L258
Creating this item as work to discuss how to setup the FPU test environment for the marocchino FPU. - *Main* Linux + GLIBC Math tests - Bare metal - TestFloat...
Changes - ORFPX64A32 double-precision floating point operations on 32-bit hardware using register pairs (P14) - Define CPUCFGR[15] for ORFPX64A32 presence flag - New instructions lf.stod.d lf.dtos.d for converting between single...
Even after increasing memory to 512mb on qemu, I still occasionally see this. ``` / # [90216.140000] watchdog: BUG: soft lockup - CPU#0 stuck for 186s! [kworker/u3:3:2073] [90216.140000] Modules linked...
Changes needed to get PLATFORM=sim to work again. The platforms/sim was basically copied from litex.boards.platforms.sim but then updated to properly handle sending the SimConfig details to the toolchain needed during...