Libre RISC-V Mailing list Archives (accessible via public-inbox)
 help / color / Atom feed
From: Cole Poirier <colepoirier@gmail.com>
To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
Cc: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
Subject: Re: [libre-riscv-dev] daily kan-ban update 25may2020
Date: Mon, 25 May 2020 17:11:25 -0700
Message-ID: <FC20AB61-3CDB-451D-837B-641339951234@getmailspring.com> (raw)
In-Reply-To: <CAPweEDzYRzFXPVR5dNr2KCVbpvSbah3fC0Xn2sC1we_-bnFQ5w@mail.gmail.com>

On May 25 2020, at 4:40 pm, Luke Kenneth Casson Leighton <lkcl@lkcl.net> wrote:
> On Tuesday, May 26, 2020, Cole Poirier <colepoirier@gmail.com> wrote:
>> https://opencores.org/websvn/filedetails?repname=wb_lpc&
>> path=%2Fwb_lpc%2Ftrunk%2Frtl%2Fverilog%2Fserirq_host.v
>> 
>> Once you let me know if this is correct I'll add it to the wiki and
>> crossref with bug 304.
> 
> 
> it looks like it.  we can ask Raptor Engineering.

Ok. I'll make a note on bug 304 that you will ask Raptor engineering
about this document? Then after we have confirmed I'll add it to the
repo in our mdwn file format for referencing external resources, and
note on this on the bug report.

> yes.  the multiport Regfile one.
> https://bugs.libre-soc.org/show_bug.cgi?id=351
> 
> it should be simple to do, it is just to use Cat() on the 8 ports data.
> 
> however it should be done under a Mux which ensures only one reader/writer
> 
> i will write more in the bugreport.
> 
> this one is time sensitive.

Awesome! I'll start now.

>> Possibly some formal proofs that I could see if I can crack?
> 
> 
> actually one for Regfile and RegfileArray would be good.
> 
> if you can raise a bugreport about that?

Will do this now then start on the multiport regfile task.

Cole

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

      reply index

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-05-25 12:30 Luke Kenneth Casson Leighton
2020-05-25 14:20 ` Tobias Platen
2020-05-25 14:27   ` Luke Kenneth Casson Leighton
2020-05-25 16:39 ` Michael Nolan
2020-05-25 18:29   ` Luke Kenneth Casson Leighton
2020-05-25 17:41 ` Cesar Strauss
2020-05-25 18:47   ` Luke Kenneth Casson Leighton
2020-05-25 19:30 ` Jacob Lifshay
2020-05-25 19:40   ` Luke Kenneth Casson Leighton
2020-05-25 21:06     ` Cole Poirier
2020-05-25 21:35       ` Luke Kenneth Casson Leighton
2020-05-25 22:11         ` Cole Poirier
2020-05-25 22:45           ` Luke Kenneth Casson Leighton
2020-05-25 23:22             ` Cole Poirier
2020-05-25 23:40               ` Luke Kenneth Casson Leighton
2020-05-26  0:11                 ` Cole Poirier [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=FC20AB61-3CDB-451D-837B-641339951234@getmailspring.com \
    --to=colepoirier@gmail.com \
    --cc=libre-riscv-dev@lists.libre-riscv.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

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