Libre RISC-V Mailing list Archives (accessible via public-inbox)
 help / color / Atom feed
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
To: Samuel Falvo II <sam.falvo@gmail.com>,
	 Libre-RISCV General Development
	<libre-riscv-dev@lists.libre-riscv.org>
Subject: Re: [libre-riscv-dev] Markdown on the wiki?
Date: Wed, 15 Jul 2020 18:12:51 +0100
Message-ID: <CAPweEDzGVLfLJ4Cf1qsEQMBrgm_NYXT09YadkdgKUkJD_CW=tQ@mail.gmail.com> (raw)
In-Reply-To: <CAPweEDymg2MFsUrM8fpEtzZ4=ES-RxA_ujLQwpO=tu=_+L7sYw@mail.gmail.com>

samuel, hi,

i updated the page you started, a bit more, this morning. you should be
getting the impression now as to why i described this pipeline as dead
simple to start from, because the code itself in spr main_stage.py really
does not actually do very much.

no regfile reading, no decisions, no instruction decoding: nothing.  its
*sole* job is to process its inputs and create some outputs.  it doesn't
even know which registers that data actually comes from or goes to because
*that is not its responsibility*.

thanks to the pipeline API it doesn't even need to know a thing about
pipelines or even how those are set up: you noted that stages are all
combinatorial.

all pipelines are designed this way, as pure combinatorial blocks.
therefore, the formal proofs for each stage are correspondingly trivial in
nature, too.

as you are discovering, the context *around* each pipeline is pretty
involved, especially when you compare it to e.g. Minerva, which is the main
other nmigen core around.

however Minerva is designed as a low performance 32 bit single issue
processor, where this is a high performance multi-issue parallel processor
with OoO instruction order preservation.  data paths in Minerva are 32 bit,
addresses are 32 bit: we have a massive **256** bit wide data path and will
be doing at least a 48 bit physical address space.

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

  reply index

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <CAEz=somu-i6og_eQZ51WbbLSe8spGAzEHiXUiDAY6=gdx1vFOg@mail.gmail.com>
2020-07-15 10:05 ` Luke Kenneth Casson Leighton
2020-07-15 10:47   ` Luke Kenneth Casson Leighton
2020-07-15 17:12     ` Luke Kenneth Casson Leighton [this message]
2020-07-18  1:19       ` Samuel Falvo II
2020-07-18  2:39         ` Luke Kenneth Casson Leighton

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='CAPweEDzGVLfLJ4Cf1qsEQMBrgm_NYXT09YadkdgKUkJD_CW=tQ@mail.gmail.com' \
    --to=lkcl@lkcl.net \
    --cc=libre-riscv-dev@lists.libre-riscv.org \
    --cc=sam.falvo@gmail.com \
    /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