Libre RISC-V Mailing list Archives (accessible via public-inbox)
 help / color / Atom feed
* [libre-riscv-dev] daily kan-ban update 30may2020
@ 2020-05-30 11:34 Luke Kenneth Casson Leighton
  2020-05-30 13:28 ` Luke Kenneth Casson Leighton
  0 siblings, 1 reply; 5+ messages in thread
From: Luke Kenneth Casson Leighton @ 2020-05-30 11:34 UTC (permalink / raw)
  To: Libre-RISCV General Development

yesterday:

* more on ALU to MultiCompUnit interaction.  it is not pipeline API
compliant (ready/valid signalling).

today:

* more on ALU to MultiCompUnit.

i *do not* know what i am doing, here.  the time dependent signalling is
critical and could take several days to weeks to get right.

until it is right there is zero forward progress because this interaction
between CompUnit and ALU pipelines is absolutely critical.

all other tasks such as assembling pipelines, connecting them to register
files, connecting to the Dependency Matrices, is critically blocked and
held up until this inter-component interaction is correct.

assistance on this one task therefore appreciated.

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] 5+ messages in thread

* Re: [libre-riscv-dev] daily kan-ban update 30may2020
  2020-05-30 11:34 [libre-riscv-dev] daily kan-ban update 30may2020 Luke Kenneth Casson Leighton
@ 2020-05-30 13:28 ` Luke Kenneth Casson Leighton
  2020-05-30 21:40   ` Cole Poirier
  0 siblings, 1 reply; 5+ messages in thread
From: Luke Kenneth Casson Leighton @ 2020-05-30 13:28 UTC (permalink / raw)
  To: Libre-RISCV General Development

On Sat, May 30, 2020 at 12:34 PM Luke Kenneth Casson Leighton
<lkcl@lkcl.net> wrote:
>
> yesterday:
>
> * more on ALU to MultiCompUnit interaction.  it is not pipeline API compliant (ready/valid signalling).
>
> today:
>
> * more on ALU to MultiCompUnit.
>
> i *do not* know what i am doing, here.  the time dependent signalling is critical and could take several days to weeks to get right.

a simple bug where XER so and ca were swapped as inputs masked efforts
to get the interaction working.  no point trying to debug against a
target with multiple unknowns, any one of which causes the entire test
to fail.

progress should be better, now.

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] 5+ messages in thread

* Re: [libre-riscv-dev] daily kan-ban update 30may2020
  2020-05-30 13:28 ` Luke Kenneth Casson Leighton
@ 2020-05-30 21:40   ` Cole Poirier
  2020-05-30 22:02     ` Luke Kenneth Casson Leighton
  0 siblings, 1 reply; 5+ messages in thread
From: Cole Poirier @ 2020-05-30 21:40 UTC (permalink / raw)
  To: Libre-RISCV General Development; +Cc: Libre-RISCV General Development

Yesterday:

Did not work on the project, except to read all of the
mailinglist/bug-report emails. Had intended to get several small family
errands done then do some work but as often happens errands took a lot
longer than expected.

Today:

Do a very small amount of work on proof_regfile, basically try to
further orient my self and understand the state machine (if that even is
the correct terminology) of the proof re wen/ren. This in order to
prepare to do more substantial work on the proof tomorrow.

Cole

_______________________________________________
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] 5+ messages in thread

* Re: [libre-riscv-dev] daily kan-ban update 30may2020
  2020-05-30 21:40   ` Cole Poirier
@ 2020-05-30 22:02     ` Luke Kenneth Casson Leighton
  2020-05-30 22:06       ` Cole Poirier
  0 siblings, 1 reply; 5+ messages in thread
From: Luke Kenneth Casson Leighton @ 2020-05-30 22:02 UTC (permalink / raw)
  To: Libre-RISCV General Development

On Sat, May 30, 2020 at 10:40 PM Cole Poirier <colepoirier@gmail.com> wrote:
>
> Yesterday:
>
> Did not work on the project, except to read all of the
> mailinglist/bug-report emails. Had intended to get several small family
> errands done then do some work but as often happens errands took a lot
> longer than expected.

these guys are available for hire:
https://www.youtube.com/watch?v=AEnvpvbfc8w

> Today:
>
> Do a very small amount of work on proof_regfile, basically try to
> further orient my self and understand the state machine (if that even is
> the correct terminology) of the proof re wen/ren. This in order to
> prepare to do more substantial work on the proof tomorrow.

cool.

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] 5+ messages in thread

* Re: [libre-riscv-dev] daily kan-ban update 30may2020
  2020-05-30 22:02     ` Luke Kenneth Casson Leighton
@ 2020-05-30 22:06       ` Cole Poirier
  0 siblings, 0 replies; 5+ messages in thread
From: Cole Poirier @ 2020-05-30 22:06 UTC (permalink / raw)
  To: Libre-RISCV General Development; +Cc: Libre-RISCV General Development

On May 30 2020, at 3:02 pm, Luke Kenneth Casson Leighton <lkcl@lkcl.net> wrote:
> On Sat, May 30, 2020 at 10:40 PM Cole Poirier <colepoirier@gmail.com> wrote:
>> 
>> Yesterday:
>> 
>> Did not work on the project, except to read all of the
>> mailinglist/bug-report emails. Had intended to get several small family
>> errands done then do some work but as often happens errands took a lot
>> longer than expected.
> 
> these guys are available for hire:
> https://www.youtube.com/watch?v=AEnvpvbfc8w

Hehe I reached out to them but they charge far too much :)

Cole

_______________________________________________
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] 5+ messages in thread

end of thread, back to index

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-05-30 11:34 [libre-riscv-dev] daily kan-ban update 30may2020 Luke Kenneth Casson Leighton
2020-05-30 13:28 ` Luke Kenneth Casson Leighton
2020-05-30 21:40   ` Cole Poirier
2020-05-30 22:02     ` Luke Kenneth Casson Leighton
2020-05-30 22:06       ` Cole Poirier

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