From: Michael Nolan <mtnolan2640@gmail.com>
To: libre-riscv-dev@lists.libre-riscv.org
Subject: Re: [libre-riscv-dev] daily kan-ban update 08mar2020
Date: Fri, 8 May 2020 16:47:18 -0400
Message-ID: <092fd357-7727-b191-826b-9e920d654f58@gmail.com> (raw)
In-Reply-To: <CAPweEDxBon96+0GaFutee0JHoqGw_m07aEQAE7CF21rjBoMqHA@mail.gmail.com>
On 5/8/20 11:25 AM, Luke Kenneth Casson Leighton wrote:
> On Fri, May 8, 2020 at 3:03 PM Michael N <mtnolan2640@gmail.com> wrote:
>
>>> On May 8, 2020, at 9:28 AM, Michael Nolan <mtnolan2640@gmail.com> wrote:
>>>
>>> Now that I have branches working in the simulator, I was thinking of starting work on the integer ALU. Taking a look at alu_hier.py, I think I'll keep the interface but replace the implementation with a pipelined one.
I think I made some decent progress on this. I implemented a couple
instructions in the ALU, and wrote both formal proofs for what I expect
the ALU stages to do, as well as a test that compares the output of the
alu from the output of the power_pseudo simulator.
--Michael
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev
next prev parent reply index
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-05-08 10:56 Luke Kenneth Casson Leighton
2020-05-08 10:59 ` Luke Kenneth Casson Leighton
2020-05-08 13:51 ` Yehowshua
2020-05-08 15:16 ` Luke Kenneth Casson Leighton
2020-05-08 17:25 ` Staf Verhaegen
2020-05-08 22:23 ` Luke Kenneth Casson Leighton
2020-05-08 13:28 ` Michael Nolan
2020-05-08 14:03 ` Michael N
2020-05-08 15:25 ` Luke Kenneth Casson Leighton
2020-05-08 20:47 ` Michael Nolan [this message]
2020-05-08 22:48 ` Luke Kenneth Casson Leighton
2020-05-08 15:10 ` Luke Kenneth Casson Leighton
2020-05-08 15:21 ` Michael Nolan
2020-05-08 15:27 ` Luke Kenneth Casson Leighton
2020-05-08 20:27 ` Yehowshua
2020-05-08 21:39 ` Jacob Lifshay
2020-05-08 22:34 ` [libre-riscv-dev] daily kan-ban update 08may2020 Jacob Lifshay
2020-05-08 23:09 ` Luke Kenneth Casson Leighton
2020-05-09 0:31 ` Yehowshua
2020-05-09 8:25 ` Luke Kenneth Casson Leighton
2020-05-09 14:33 ` Yehowshua
2020-05-08 22:45 ` [libre-riscv-dev] daily kan-ban update 08mar2020 Luke Kenneth Casson Leighton
2020-05-08 22:41 ` Luke Kenneth Casson Leighton
2020-05-08 20:38 Alain D D Williams
2020-05-08 20:47 ` 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=092fd357-7727-b191-826b-9e920d654f58@gmail.com \
--to=mtnolan2640@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