Luke Kenneth Casson Leighton [Tue, 2 Jun 2020 10:11:11 +0000 (11:11 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 01jun2020
Jacob Lifshay [Tue, 2 Jun 2020 06:17:57 +0000 (23:17 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 01jun2020
Cole Poirier [Tue, 2 Jun 2020 00:22:56 +0000 (17:22 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 01jun2020
Luke Kenneth Casson Leighton [Tue, 2 Jun 2020 00:01:53 +0000 (01:01 +0100)]
Re: [libre-riscv-dev] microwatt decoder tables: M-Form and X-Form switched RS and RB
bugzilla-daemon [Mon, 1 Jun 2020 23:24:23 +0000 (23:24 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Mon, 1 Jun 2020 23:24:22 +0000 (23:24 +0000)]
[libre-riscv-dev] [Bug 358] new MCU-ALU test picked up RC / OE / CR handling issue
Paul Mackerras [Mon, 1 Jun 2020 23:13:11 +0000 (09:13 +1000)]
Re: [libre-riscv-dev] [OpenPOWER-HDL-Cores] microwatt decoder tables: M-Form and X-Form switched RS and RB
bugzilla-daemon [Mon, 1 Jun 2020 22:04:40 +0000 (22:04 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero
bugzilla-daemon [Mon, 1 Jun 2020 21:50:43 +0000 (21:50 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero
bugzilla-daemon [Mon, 1 Jun 2020 21:41:59 +0000 (21:41 +0000)]
[libre-riscv-dev] [Bug 360] move RS to 1st or 2nd operand in CSV files
bugzilla-daemon [Mon, 1 Jun 2020 20:39:26 +0000 (20:39 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Mon, 1 Jun 2020 20:17:16 +0000 (20:17 +0000)]
[libre-riscv-dev] [Bug 339] create POWER9 ROTATE (SHIFTROT) pipeline
bugzilla-daemon [Mon, 1 Jun 2020 20:13:36 +0000 (20:13 +0000)]
[libre-riscv-dev] [Bug 339] create POWER9 ROTATE (SHIFTROT) pipeline
bugzilla-daemon [Mon, 1 Jun 2020 19:31:18 +0000 (19:31 +0000)]
[libre-riscv-dev] [Bug 339] create POWER9 ROTATE (SHIFTROT) pipeline
bugzilla-daemon [Mon, 1 Jun 2020 19:16:21 +0000 (19:16 +0000)]
[libre-riscv-dev] [Bug 300] Documentation for the SOC
Luke Kenneth Casson Leighton [Mon, 1 Jun 2020 19:05:16 +0000 (20:05 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 01jun2020
bugzilla-daemon [Mon, 1 Jun 2020 19:05:07 +0000 (19:05 +0000)]
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
Cole Poirier [Mon, 1 Jun 2020 19:03:37 +0000 (12:03 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 01jun2020
Luke Kenneth Casson Leighton [Mon, 1 Jun 2020 19:02:03 +0000 (20:02 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 01jun2020
Michael Nolan [Mon, 1 Jun 2020 18:54:40 +0000 (14:54 -0400)]
Re: [libre-riscv-dev] daily kan-ban update 01jun2020
bugzilla-daemon [Mon, 1 Jun 2020 18:35:38 +0000 (18:35 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
Luke Kenneth Casson Leighton [Mon, 1 Jun 2020 18:33:56 +0000 (19:33 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 01jun2020
Cole Poirier [Mon, 1 Jun 2020 18:30:05 +0000 (11:30 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 01jun2020
bugzilla-daemon [Mon, 1 Jun 2020 18:09:01 +0000 (18:09 +0000)]
[libre-riscv-dev] [Bug 339] create POWER9 ROTATE (SHIFTROT) pipeline
bugzilla-daemon [Mon, 1 Jun 2020 18:07:21 +0000 (18:07 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
bugzilla-daemon [Mon, 1 Jun 2020 18:06:23 +0000 (18:06 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
bugzilla-daemon [Mon, 1 Jun 2020 17:55:19 +0000 (17:55 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
bugzilla-daemon [Mon, 1 Jun 2020 17:53:56 +0000 (17:53 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
bugzilla-daemon [Mon, 1 Jun 2020 17:52:21 +0000 (17:52 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
bugzilla-daemon [Mon, 1 Jun 2020 17:51:28 +0000 (17:51 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
bugzilla-daemon [Mon, 1 Jun 2020 17:06:10 +0000 (17:06 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
Tobias Platen [Mon, 1 Jun 2020 16:20:35 +0000 (18:20 +0200)]
Re: [libre-riscv-dev] daily kan-ban update 01jun2020
bugzilla-daemon [Mon, 1 Jun 2020 12:40:38 +0000 (12:40 +0000)]
[libre-riscv-dev] [Bug 339] create POWER9 ROTATE (SHIFTROT) pipeline
bugzilla-daemon [Mon, 1 Jun 2020 12:39:35 +0000 (12:39 +0000)]
[libre-riscv-dev] [Bug 360] New: move RS to 1st or 2nd operand in CSV files
Luke Kenneth Casson Leighton [Mon, 1 Jun 2020 12:20:45 +0000 (13:20 +0100)]
[libre-riscv-dev] microwatt decoder tables: M-Form and X-Form switched RS and RB
bugzilla-daemon [Mon, 1 Jun 2020 12:02:46 +0000 (12:02 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero
bugzilla-daemon [Mon, 1 Jun 2020 12:01:22 +0000 (12:01 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero
bugzilla-daemon [Mon, 1 Jun 2020 11:55:04 +0000 (11:55 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero
bugzilla-daemon [Mon, 1 Jun 2020 11:46:27 +0000 (11:46 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero
bugzilla-daemon [Mon, 1 Jun 2020 11:09:03 +0000 (11:09 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero
Luke Kenneth Casson Leighton [Mon, 1 Jun 2020 10:40:36 +0000 (11:40 +0100)]
[libre-riscv-dev] daily kan-ban update 01jun2020
Luke Kenneth Casson Leighton [Mon, 1 Jun 2020 10:15:12 +0000 (11:15 +0100)]
Re: [libre-riscv-dev] Named Records in nMigen
Jock Tanner [Mon, 1 Jun 2020 07:17:33 +0000 (17:17 +1000)]
Re: [libre-riscv-dev] Named Records in nMigen
Yehowshua [Mon, 1 Jun 2020 06:33:53 +0000 (02:33 -0400)]
Re: [libre-riscv-dev] Named Records in nMigen
Yehowshua [Mon, 1 Jun 2020 06:29:44 +0000 (02:29 -0400)]
[libre-riscv-dev] Named Records in nMigen
Luke Kenneth Casson Leighton [Mon, 1 Jun 2020 02:03:52 +0000 (03:03 +0100)]
[libre-riscv-dev] more pipeline instructions needed
Luke Kenneth Casson Leighton [Sun, 31 May 2020 22:14:21 +0000 (23:14 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 31may2020
Tobias Platen [Sun, 31 May 2020 20:12:02 +0000 (22:12 +0200)]
Re: [libre-riscv-dev] daily kan-ban update 31may2020
bugzilla-daemon [Sun, 31 May 2020 18:20:13 +0000 (18:20 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
bugzilla-daemon [Sun, 31 May 2020 17:46:17 +0000 (17:46 +0000)]
[libre-riscv-dev] [Bug 359] New: cut down on wires between decode and function units
bugzilla-daemon [Sun, 31 May 2020 16:42:02 +0000 (16:42 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero
Luke Kenneth Casson Leighton [Sun, 31 May 2020 15:13:32 +0000 (16:13 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 31may2020
bugzilla-daemon [Sun, 31 May 2020 14:12:40 +0000 (14:12 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
Luke Kenneth Casson Leighton [Sun, 31 May 2020 13:38:56 +0000 (14:38 +0100)]
[libre-riscv-dev] daily kan-ban update 31may2020
bugzilla-daemon [Sat, 30 May 2020 22:38:42 +0000 (22:38 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
bugzilla-daemon [Sat, 30 May 2020 22:13:17 +0000 (22:13 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
Cole Poirier [Sat, 30 May 2020 22:06:24 +0000 (15:06 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 30may2020
Luke Kenneth Casson Leighton [Sat, 30 May 2020 22:02:40 +0000 (23:02 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 30may2020
bugzilla-daemon [Sat, 30 May 2020 22:03:13 +0000 (22:03 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
bugzilla-daemon [Sat, 30 May 2020 21:41:08 +0000 (21:41 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
Cole Poirier [Sat, 30 May 2020 21:40:28 +0000 (14:40 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 30may2020
Cole Poirier [Sat, 30 May 2020 21:34:04 +0000 (14:34 -0700)]
Re: [libre-riscv-dev] Request for Scoreboard and Functional Units Update
bugzilla-daemon [Sat, 30 May 2020 21:22:51 +0000 (21:22 +0000)]
[libre-riscv-dev] [Bug 358] new MCU-ALU test picked up RC / OE / CR handling issue
bugzilla-daemon [Sat, 30 May 2020 20:39:40 +0000 (20:39 +0000)]
[libre-riscv-dev] [Bug 358] new MCU-ALU test picked up RC / OE / CR handling issue
bugzilla-daemon [Sat, 30 May 2020 19:48:10 +0000 (19:48 +0000)]
[libre-riscv-dev] [Bug 358] new MCU-ALU test picked up RC / OE / CR handling issue
bugzilla-daemon [Sat, 30 May 2020 19:47:48 +0000 (19:47 +0000)]
[libre-riscv-dev] [Bug 358] New: new MCU-ALU test picked up RC / OE / CR handling issue
bugzilla-daemon [Sat, 30 May 2020 19:40:17 +0000 (19:40 +0000)]
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
Luke Kenneth Casson Leighton [Sat, 30 May 2020 19:05:32 +0000 (20:05 +0100)]
Re: [libre-riscv-dev] MultiCompUnit- ALU interaction. was: daily kan-ban update 30may2020
Luke Kenneth Casson Leighton [Sat, 30 May 2020 18:06:56 +0000 (19:06 +0100)]
Re: [libre-riscv-dev] MultiCompUnit- ALU interaction. was: daily kan-ban update 30may2020
Yehowshua [Sat, 30 May 2020 17:50:29 +0000 (13:50 -0400)]
Re: [libre-riscv-dev] MultiCompUnit- ALU interaction. was: daily kan-ban update 30may2020
Luke Kenneth Casson Leighton [Sat, 30 May 2020 17:40:01 +0000 (18:40 +0100)]
[libre-riscv-dev] MultiCompUnit- ALU interaction. was: daily kan-ban update 30may2020
Luke Kenneth Casson Leighton [Sat, 30 May 2020 17:31:25 +0000 (18:31 +0100)]
Re: [libre-riscv-dev] Request for Scoreboard and Functional Units Update
Yehowshua [Sat, 30 May 2020 17:08:31 +0000 (13:08 -0400)]
Re: [libre-riscv-dev] Request for Scoreboard and Functional Units Update
Luke Kenneth Casson Leighton [Sat, 30 May 2020 16:26:58 +0000 (17:26 +0100)]
Re: [libre-riscv-dev] Request for Scoreboard and Functional Units Update
Yehowshua [Sat, 30 May 2020 14:58:55 +0000 (10:58 -0400)]
[libre-riscv-dev] Request for Scoreboard and Functional Units Update
Luke Kenneth Casson Leighton [Sat, 30 May 2020 13:28:59 +0000 (14:28 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 30may2020
Luke Kenneth Casson Leighton [Sat, 30 May 2020 11:34:38 +0000 (12:34 +0100)]
[libre-riscv-dev] daily kan-ban update 30may2020
Luke Kenneth Casson Leighton [Sat, 30 May 2020 09:58:31 +0000 (10:58 +0100)]
[libre-riscv-dev] EU residency / businesses
Luke Kenneth Casson Leighton [Fri, 29 May 2020 23:58:40 +0000 (00:58 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020
Luke Kenneth Casson Leighton [Fri, 29 May 2020 23:55:04 +0000 (00:55 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020
Jacob Lifshay [Fri, 29 May 2020 23:19:50 +0000 (16:19 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020
Luke Kenneth Casson Leighton [Fri, 29 May 2020 17:27:46 +0000 (18:27 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020
Cesar Strauss [Fri, 29 May 2020 16:51:55 +0000 (13:51 -0300)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020
bugzilla-daemon [Fri, 29 May 2020 16:17:37 +0000 (16:17 +0000)]
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
Yehowshua [Fri, 29 May 2020 14:21:02 +0000 (10:21 -0400)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020
bugzilla-daemon [Fri, 29 May 2020 13:56:59 +0000 (13:56 +0000)]
[libre-riscv-dev] [Bug 263] LD/ST batching needed
Luke Kenneth Casson Leighton [Fri, 29 May 2020 14:14:45 +0000 (15:14 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020
bugzilla-daemon [Fri, 29 May 2020 13:56:59 +0000 (13:56 +0000)]
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
Yehowshua [Fri, 29 May 2020 13:51:16 +0000 (09:51 -0400)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020
bugzilla-daemon [Fri, 29 May 2020 13:49:04 +0000 (13:49 +0000)]
[libre-riscv-dev] [Bug 357] New: create simplified (testing) version of Function Unit pipeline for test purposes
bugzilla-daemon [Fri, 29 May 2020 13:42:00 +0000 (13:42 +0000)]
[libre-riscv-dev] [Bug 310] Function Units to cover multiple tasks
Luke Kenneth Casson Leighton [Fri, 29 May 2020 12:04:33 +0000 (13:04 +0100)]
[libre-riscv-dev] daily kan-ban update 29may2020
Luke Kenneth Casson Leighton [Fri, 29 May 2020 10:30:49 +0000 (11:30 +0100)]
Re: [libre-riscv-dev] Debug port (was Re: minimum viable ASIC)
Luke Kenneth Casson Leighton [Fri, 29 May 2020 02:45:50 +0000 (03:45 +0100)]
Re: [libre-riscv-dev] Rough Architectural Sketch
Yehowshua [Fri, 29 May 2020 01:58:59 +0000 (21:58 -0400)]
[libre-riscv-dev] Rough Architectural Sketch
bugzilla-daemon [Thu, 28 May 2020 23:57:33 +0000 (23:57 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
Cole Poirier [Thu, 28 May 2020 23:53:01 +0000 (16:53 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 28may2020
Luke Kenneth Casson Leighton [Thu, 28 May 2020 23:47:37 +0000 (00:47 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 28may2020
bugzilla-daemon [Thu, 28 May 2020 23:41:42 +0000 (23:41 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed
Cole Poirier [Thu, 28 May 2020 23:32:17 +0000 (16:32 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 28may2020