Libre RISC-V Mailing list Archives (accessible via public-inbox)
 help / color / Atom feed
From: "Immanuel, Yehowshua U" <yimmanuel3@gatech.edu>
To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
Subject: Re: [libre-riscv-dev] LibreSOC - RISCV and POWER dual architecture feasibility
Date: Sun, 15 Mar 2020 19:37:07 +0000
Message-ID: <EF76DBDD-C497-4495-AA97-CB366267DAFE@gatech.edu> (raw)
In-Reply-To: <CAPweEDy4_=oHhz+nBZbjfUdbdVu-bHswHz+=QJhctOEzuWW0Yg@mail.gmail.com>

> i've added this source code - wholesale - into the soc repo:
> https://github.com/lambdaconcept/minerva

Note, I’ve spoken to Jean Francois Nguyen, the developer of Minerva.
He said that he can’t guarantee the pipeline dependencies are correctly implmented and
has done little to no formal verification on Minerva.

He said Minerva was just more of a proof of concept for nMigen.

So please keep that in mind.

@Luke, what did you want to use Minerva for?

On the other hand, VexRISCV is pretty well tested - although its in Chisel…
Maybe someone would care to translate it to nMigen.

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

  parent reply index

Thread overview: 40+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <6AC4EFD4-AA30-42C7-855A-CE68A62F107F@gatech.edu>
2020-03-15  3:17 ` Jacob Lifshay
2020-03-15  4:00   ` Luke Kenneth Casson Leighton
2020-03-15  7:59     ` Jacob Lifshay
2020-03-15 11:22       ` Luke Kenneth Casson Leighton
2020-03-15 12:09         ` [libre-riscv-dev] pearpc simulator running Luke Kenneth Casson Leighton
2020-03-15  5:10   ` [libre-riscv-dev] LibreSOC - RISCV and POWER dual architecture feasibility Hendrik Boom
2020-03-15  6:13     ` Jacob Lifshay
2020-03-15  7:18       ` Immanuel, Yehowshua U
2020-03-15 11:20         ` Luke Kenneth Casson Leighton
2020-03-15 18:19           ` Immanuel, Yehowshua U
2020-03-15 18:21             ` Immanuel, Yehowshua U
2020-03-15 18:26               ` Immanuel, Yehowshua U
2020-03-15 19:11               ` Luke Kenneth Casson Leighton
2020-03-15 19:16                 ` Immanuel, Yehowshua U
2020-03-15 19:20                   ` Immanuel, Yehowshua U
2020-03-15 19:24                     ` Luke Kenneth Casson Leighton
2020-03-15 19:25                       ` Luke Kenneth Casson Leighton
2020-03-15 19:23                   ` Luke Kenneth Casson Leighton
2020-03-15 19:32                     ` Immanuel, Yehowshua U
2020-03-15 19:43                       ` Jacob Lifshay
2020-03-15 19:52                         ` Immanuel, Yehowshua U
2020-03-15 19:57                           ` Luke Kenneth Casson Leighton
2020-03-15 20:00                             ` Immanuel, Yehowshua U
2020-03-15 20:05                               ` Luke Kenneth Casson Leighton
2020-03-15 22:04                           ` Staf Verhaegen
2020-03-15 22:10                             ` Jacob Lifshay
2020-03-15 22:23                               ` Adam Van Ymeren
2020-03-15 22:32                                 ` Luke Kenneth Casson Leighton
2020-03-16  0:25                                   ` Immanuel, Yehowshua U
2020-03-15 19:56                         ` Luke Kenneth Casson Leighton
2020-03-16  7:14                         ` Lauri Kasanen
2020-03-16  7:28                           ` Jacob Lifshay
2020-03-16  8:53                           ` Staf Verhaegen
2020-03-16  9:27                             ` Lauri Kasanen
2020-03-16 10:34                               ` Luke Kenneth Casson Leighton
2020-03-16 11:00                               ` Staf Verhaegen
2020-03-15 19:51                       ` Luke Kenneth Casson Leighton
2020-03-15 19:37                     ` Immanuel, Yehowshua U [this message]
2020-03-15 19:07             ` Luke Kenneth Casson Leighton
2020-03-15 16:57       ` Hendrik Boom

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=EF76DBDD-C497-4495-AA97-CB366267DAFE@gatech.edu \
    --to=yimmanuel3@gatech.edu \
    --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