[libre-riscv-dev] first version of test issuer is functional

[libre-riscv-dev] first version of test issuer is functional

[Luke Kenneth Casson Leighton]

i got these working, overnight:

https://git.libre-soc.org/?p=soc.git;a=blob;f=src/soc/simple/test/test_issuer.py;hb=HEAD
https://git.libre-soc.org/?p=soc.git;a=blob;f=src/soc/simple/issuer.py;hb=HEAD

this is a module and associated unit test that are specifically
designed to be as simple and as absolutely clear as possible, and are
specifically intended to test the combined Function Units yet at the
same time actually allow "arbitrary code execution" including loops.

at present the instructions are pushed into a TestMemory (16 words),
and read out sequentially, disregarding changes made by the Branch
Unit.  this because that is what the Simulator currently does, and so
consequently all the Function Unit tests are *also* designed to
*produce* changes to the PC, but not to actually listen to them.

to be able to run programs in a loop (and have them verified) it is
necessary to first to go back to the qemu-simulator comparator
(test_sim.py), add the capability to the *Simulator* (ISACaller) to be
able to read instructions from a memory area, and then finally come
back to the hardware and do the same thing.

given that we need to be able to run the original unit tests as well
(the ones that just receive a list of instructions), this "listening
to PC" will have to be done as a mode, both by the simulator and by
the hardware.

l.

---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68

_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

Re: [libre-riscv-dev] first version of test issuer is functional

[Luke Kenneth Casson Leighton]

On Wed, Jun 17, 2020 at 12:30 PM Luke Kenneth Casson Leighton
<lkcl@lkcl.net> wrote:

> to be able to run programs in a loop (and have them verified) it is
> necessary to first to go back to the qemu-simulator comparator
> (test_sim.py), add the capability to the *Simulator* (ISACaller) to be
> able to read instructions from a memory area, and then finally come
> back to the hardware and do the same thing.

amazingly, the following loop test in the simulator actually worked:
https://git.libre-soc.org/?p=soc.git;a=blob;f=src/soc/simulator/test_sim.py;h=95d5c75ff0b2761ae4845f2e3fd1c8e036442e03;hb=HEAD#l217

(well done michael for making that possible!)

i'm just tidying up the simulator a bit, getting it to use an
instruction "memory".

then the next bit will be getting the hardware to "listen" to the PC,
executing that same loop unit test.

l.

_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev