[libre-riscv-dev] daily kan-ban update 31may2020

[libre-riscv-dev] daily kan-ban update 31may2020

[Luke Kenneth Casson Leighton]

yesterday:

* went through inter-relationship between MultiCompUnit and ALU,
getting MCU to conform to the pipeline API.  it's a mess, however it's
functional.
* started debugging ALU Function Unit through MultiCompUnit (closest
thing to actually connecting them to a regfile)
* added "read register mask" and "write register mask" capability to
MultiCompUnit

today:

* finding numerous errors where register-writes are being requested by
the ALU pipeline, where the data is *not* valid ("ok" signal set when
it should not be)

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] daily kan-ban update 31may2020

[Luke Kenneth Casson Leighton]

On Sun, May 31, 2020 at 2:38 PM Luke Kenneth Casson Leighton
<lkcl@lkcl.net> wrote:

> today:
>
> * finding numerous errors where register-writes are being requested by
> the ALU pipeline, where the data is *not* valid ("ok" signal set when
> it should not be)

HA!  tracked down and fixed a bug in MultiCompUnit's (new) write-mask
handling, where there was a test condition looking for write-request
signals coming in that would, because they were disabled, never going
to happen.

once that was sorted, the new CompUnit-based unit test for ALU passed.
it uses the exact same unit tests as from the pipeline-only-based ALU
unit test.

with the only difference between the tests being that one adds
MultiCompUnit on *top* of the other, this helps to confirm that
MultiCompUnit is functional.

i am very happy.

i'll do the same thing for the other pipelines.

l.

_______________________________________________
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] daily kan-ban update 31may2020

[Tobias Platen]

today:
mostly working on formal verification of the module I have written in the last week.

_______________________________________________
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] daily kan-ban update 31may2020

[Luke Kenneth Casson Leighton]

On Sunday, May 31, 2020, Tobias Platen <libre-soc@platen-software.de> wrote:

> today:
> mostly working on formal verification of the module I have written in the
> last week.


great to hear.

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