* [libre-riscv-dev] daily kan-ban update 31may2020
@ 2020-05-31 13:38 Luke Kenneth Casson Leighton
2020-05-31 15:13 ` Luke Kenneth Casson Leighton
2020-05-31 20:12 ` Tobias Platen
0 siblings, 2 replies; 4+ messages in thread
From: Luke Kenneth Casson Leighton @ 2020-05-31 13:38 UTC (permalink / raw)
To: Libre-RISCV General Development
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
^ permalink raw reply [flat|nested] 4+ messages in thread* Re: [libre-riscv-dev] daily kan-ban update 31may2020
2020-05-31 13:38 [libre-riscv-dev] daily kan-ban update 31may2020 Luke Kenneth Casson Leighton
@ 2020-05-31 15:13 ` Luke Kenneth Casson Leighton
2020-05-31 20:12 ` Tobias Platen
1 sibling, 0 replies; 4+ messages in thread
From: Luke Kenneth Casson Leighton @ 2020-05-31 15:13 UTC (permalink / raw)
To: Libre-RISCV General Development
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
^ permalink raw reply [flat|nested] 4+ messages in thread* Re: [libre-riscv-dev] daily kan-ban update 31may2020
2020-05-31 13:38 [libre-riscv-dev] daily kan-ban update 31may2020 Luke Kenneth Casson Leighton
2020-05-31 15:13 ` Luke Kenneth Casson Leighton
@ 2020-05-31 20:12 ` Tobias Platen
2020-05-31 22:14 ` Luke Kenneth Casson Leighton
1 sibling, 1 reply; 4+ messages in thread
From: Tobias Platen @ 2020-05-31 20:12 UTC (permalink / raw)
To: libre-riscv-dev
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
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, back to index
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-05-31 13:38 [libre-riscv-dev] daily kan-ban update 31may2020 Luke Kenneth Casson Leighton
2020-05-31 15:13 ` Luke Kenneth Casson Leighton
2020-05-31 20:12 ` Tobias Platen
2020-05-31 22:14 ` Luke Kenneth Casson Leighton
Libre RISC-V Mailing list Archives (accessible via public-inbox)
Archives are clonable: git clone --mirror https://inbox.libre-soc.org/libre-riscv-dev
Example config snippet for mirrors
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git