soc.git
4 years agofix SelectableInt abs
Luke Kenneth Casson Leighton [Mon, 6 Jul 2020 19:19:06 +0000 (20:19 +0100)]
fix SelectableInt abs

4 years agoadd first simulator mul test
Luke Kenneth Casson Leighton [Mon, 6 Jul 2020 18:56:33 +0000 (19:56 +0100)]
add first simulator mul test

4 years agoinvestigating mul pipeline
Luke Kenneth Casson Leighton [Mon, 6 Jul 2020 18:49:49 +0000 (19:49 +0100)]
investigating mul pipeline

4 years agoSelectableInt: make __mul__ return enough space to fit the result
Luke Kenneth Casson Leighton [Mon, 6 Jul 2020 18:44:58 +0000 (19:44 +0100)]
SelectableInt: make __mul__ return enough space to fit the result

4 years agofirst cut at mul test pipeline
Luke Kenneth Casson Leighton [Mon, 6 Jul 2020 16:02:09 +0000 (17:02 +0100)]
first cut at mul test pipeline

4 years agoadd first cut at fu mul pipeline
Luke Kenneth Casson Leighton [Mon, 6 Jul 2020 15:34:31 +0000 (16:34 +0100)]
add first cut at fu mul pipeline

4 years agoadding mtspr tests
Luke Kenneth Casson Leighton [Mon, 6 Jul 2020 13:12:12 +0000 (14:12 +0100)]
adding mtspr tests

4 years agoadding OP_MTMSR test
Luke Kenneth Casson Leighton [Mon, 6 Jul 2020 13:11:47 +0000 (14:11 +0100)]
adding OP_MTMSR test

4 years agoadd mtmsr internal op
Luke Kenneth Casson Leighton [Mon, 6 Jul 2020 13:11:09 +0000 (14:11 +0100)]
add mtmsr internal op

4 years agoadd mtmsr internal op
Luke Kenneth Casson Leighton [Mon, 6 Jul 2020 13:10:59 +0000 (14:10 +0100)]
add mtmsr internal op

4 years agosort out initialisation of TstL0CacheBuffer in ldst compunit test
Luke Kenneth Casson Leighton [Mon, 6 Jul 2020 13:08:04 +0000 (14:08 +0100)]
sort out initialisation of TstL0CacheBuffer in ldst compunit test

4 years agoAssert n.ready_i at the beginning of the cycle
Cesar Strauss [Mon, 6 Jul 2020 11:12:59 +0000 (08:12 -0300)]
Assert n.ready_i at the beginning of the cycle

This simulates the common case where we are ready for the
result as soon as the ALU delivers it.
The special case for the zero-delay operation is no longer
needed.

4 years agoRemove wait state to demonstrate zero-delay reception.
Cesar Strauss [Mon, 6 Jul 2020 10:56:51 +0000 (07:56 -0300)]
Remove wait state to demonstrate zero-delay reception.

4 years agoSimplify waiting loops
Cesar Strauss [Mon, 6 Jul 2020 10:49:05 +0000 (07:49 -0300)]
Simplify waiting loops

4 years agoFinally add some well needed comments
Cesar Strauss [Mon, 6 Jul 2020 09:44:24 +0000 (06:44 -0300)]
Finally add some well needed comments

4 years agoSimplify waiting loops
Cesar Strauss [Mon, 6 Jul 2020 08:53:57 +0000 (05:53 -0300)]
Simplify waiting loops

4 years agoAdd some wait states in each process
Cesar Strauss [Sun, 5 Jul 2020 22:57:14 +0000 (19:57 -0300)]
Add some wait states in each process

4 years agoNegate inputs after use
Cesar Strauss [Sun, 5 Jul 2020 22:46:03 +0000 (19:46 -0300)]
Negate inputs after use

4 years agoAdd other tests
Cesar Strauss [Sun, 5 Jul 2020 22:44:00 +0000 (19:44 -0300)]
Add other tests

4 years agoImplement receiver
Cesar Strauss [Sun, 5 Jul 2020 22:30:45 +0000 (19:30 -0300)]
Implement receiver

4 years agoImplement sender.
Cesar Strauss [Sun, 5 Jul 2020 22:13:26 +0000 (19:13 -0300)]
Implement sender.

4 years agoBegin a new parallel test
Cesar Strauss [Sat, 4 Jul 2020 14:45:36 +0000 (11:45 -0300)]
Begin a new parallel test

The purpose of this test is really to better develop a
parallel test concept, by testing against a simple
target.

4 years agoadd mtmsr tests (fail)
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 21:32:56 +0000 (22:32 +0100)]
add mtmsr tests (fail)

4 years agocheck trap compunit output properly
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 21:18:34 +0000 (22:18 +0100)]
check trap compunit output properly

4 years agocheck msr in trap test, fix OP_RFID
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 21:17:13 +0000 (22:17 +0100)]
check msr in trap test, fix OP_RFID

4 years agoadd an illegal instruction trap test
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 20:54:58 +0000 (21:54 +0100)]
add an illegal instruction trap test

4 years agoset up a trap function for microcode override
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 20:54:42 +0000 (21:54 +0100)]
set up a trap function for microcode override

4 years agobig reorg on PowerDecoder2, actually Decode2Execute1Type
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 15:40:30 +0000 (16:40 +0100)]
big reorg on PowerDecoder2, actually Decode2Execute1Type
plan is to move the decoding of instruction fields closer to the
CompUnits

4 years agostop debug output in power_decoder
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 15:29:35 +0000 (16:29 +0100)]
stop debug output in power_decoder

4 years agocomments in power_regspec_map.py
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 14:36:18 +0000 (15:36 +0100)]
comments in power_regspec_map.py

4 years agocomment on spr2, not needed
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 14:30:58 +0000 (15:30 +0100)]
comment on spr2, not needed

4 years agocheck xer_out not xer_in
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 14:29:27 +0000 (15:29 +0100)]
check xer_out not xer_in

4 years agosplit out Decode2ToExecuteType fields involving registers
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 14:27:23 +0000 (15:27 +0100)]
split out Decode2ToExecuteType fields involving registers
into constants Decode2ToOperand

4 years agosigh read and write xer detection, fix spr and trap compunit tests
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 14:16:13 +0000 (15:16 +0100)]
sigh read and write xer detection, fix spr and trap compunit tests

4 years agocheck spr1 in test spr compunit
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 12:56:44 +0000 (13:56 +0100)]
check spr1 in test spr compunit

4 years agoget/set slow spr in spr test_pipe_caller
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 12:52:38 +0000 (13:52 +0100)]
get/set slow spr in spr test_pipe_caller

4 years agoadd first spr compunit test (not working yet)
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 12:29:29 +0000 (13:29 +0100)]
add first spr compunit test (not working yet)

4 years agoadd SPR test case, commented out for now
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 12:25:46 +0000 (13:25 +0100)]
add SPR test case, commented out for now

4 years agomove valid signal out of Decode2ToExecute1Type and into PowerDecoder2
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 12:18:03 +0000 (13:18 +0100)]
move valid signal out of Decode2ToExecute1Type and into PowerDecoder2

4 years agoadd slow spr regfile regspec support
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 12:12:28 +0000 (13:12 +0100)]
add slow spr regfile regspec support

4 years agoremap SPR PowerISA numbers to internal SPR enum
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 12:04:22 +0000 (13:04 +0100)]
remap SPR PowerISA numbers to internal SPR enum

4 years agocomment out SPR for now, needs SPR regfile
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 11:22:28 +0000 (12:22 +0100)]
comment out SPR for now, needs SPR regfile

4 years agoadd SPR compunit
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 11:18:10 +0000 (12:18 +0100)]
add SPR compunit

4 years agomissing initialisation of disasm_start
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 11:09:08 +0000 (12:09 +0100)]
missing initialisation of disasm_start

4 years agocheck NIA on trap fu test
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 10:52:20 +0000 (11:52 +0100)]
check NIA on trap fu test

4 years agoOP_RFID needs to read SRR0/1, OP_SC needs to write
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 10:52:09 +0000 (11:52 +0100)]
OP_RFID needs to read SRR0/1, OP_SC needs to write

4 years agofix qemu trap test
Luke Kenneth Casson Leighton [Sun, 5 Jul 2020 10:34:16 +0000 (11:34 +0100)]
fix qemu trap test

4 years agocater for illegal instruction (generates a trap)
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 23:52:35 +0000 (00:52 +0100)]
cater for illegal instruction (generates a trap)

4 years agoadd sc back in
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 21:35:19 +0000 (22:35 +0100)]
add sc back in

4 years agocomments in trap about exceptions using microcoding
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 21:32:38 +0000 (22:32 +0100)]
comments in trap about exceptions using microcoding

4 years agoadd pspec to test_core.py
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 20:01:34 +0000 (21:01 +0100)]
add pspec to test_core.py

4 years agoadd pspec to test_core.py
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 20:01:04 +0000 (21:01 +0100)]
add pspec to test_core.py

4 years agomore rename spr1/spr2 to fast1/fast2
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 19:56:29 +0000 (20:56 +0100)]
more rename spr1/spr2 to fast1/fast2

4 years agowhitespace
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 19:49:50 +0000 (20:49 +0100)]
whitespace

4 years agomore updating spr1/spr2 to fast1/fast2
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 19:45:45 +0000 (20:45 +0100)]
more updating spr1/spr2 to fast1/fast2

4 years agomore updating spr1/spr2 to fast1/fast2
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 19:44:50 +0000 (20:44 +0100)]
more updating spr1/spr2 to fast1/fast2

4 years agorename spr1/spr2 to fast1/fast2 in branch
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 19:41:00 +0000 (20:41 +0100)]
rename spr1/spr2 to fast1/fast2 in branch

4 years agoupdate trap docstring
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 18:18:05 +0000 (19:18 +0100)]
update trap docstring

4 years agouse new consts module
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 18:01:05 +0000 (19:01 +0100)]
use new consts module

4 years agosorting out trap fastregs
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 17:44:23 +0000 (18:44 +0100)]
sorting out trap fastregs

4 years agosort out trap test reg checking
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 17:14:03 +0000 (18:14 +0100)]
sort out trap test reg checking

4 years agoresolve spr names in ISACaller
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 16:59:52 +0000 (17:59 +0100)]
resolve spr names in ISACaller

4 years agorename spr1 to fast1 in trap data
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 16:52:44 +0000 (17:52 +0100)]
rename spr1 to fast1 in trap data

4 years agosorting out fast/spr naming
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 16:52:20 +0000 (17:52 +0100)]
sorting out fast/spr naming

4 years agooops initialise Function Unit class with idx
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 14:08:52 +0000 (15:08 +0100)]
oops initialise Function Unit class with idx

4 years agoadd first cookie-cut test_trap_compunit.py
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 14:07:39 +0000 (15:07 +0100)]
add first cookie-cut test_trap_compunit.py

4 years agoadd gitignores
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 14:07:19 +0000 (15:07 +0100)]
add gitignores

4 years agodebugging decoding of SPRs (fast)
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 14:04:18 +0000 (15:04 +0100)]
debugging decoding of SPRs (fast)

4 years agoadd spr test, add decode of spr in/out
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 13:19:38 +0000 (14:19 +0100)]
add spr test, add decode of spr in/out

4 years agoadd spr main stage
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 12:22:09 +0000 (13:22 +0100)]
add spr main stage

4 years agoadd spr input record
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 11:59:19 +0000 (12:59 +0100)]
add spr input record

4 years agoadd SPR pipeline
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 11:56:42 +0000 (12:56 +0100)]
add SPR pipeline

4 years agoreduce steps per stage to 8
Luke Kenneth Casson Leighton [Sat, 4 Jul 2020 09:50:31 +0000 (10:50 +0100)]
reduce steps per stage to 8

4 years agoset only div/rem supported
Luke Kenneth Casson Leighton [Fri, 3 Jul 2020 03:12:34 +0000 (04:12 +0100)]
set only div/rem supported

4 years agoallow flexible selection of the types of ALUs
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 23:22:00 +0000 (00:22 +0100)]
allow flexible selection of the types of ALUs

4 years agofix unit tests due to change in using pspec
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 23:10:10 +0000 (00:10 +0100)]
fix unit tests due to change in using pspec

4 years agouse Mock class (more convenient)
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 23:09:47 +0000 (00:09 +0100)]
use Mock class (more convenient)

4 years agoallow ALU names to propagate through from FU to CompUnit ALU
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 21:52:52 +0000 (22:52 +0100)]
allow ALU names to propagate through from FU to CompUnit ALU

4 years agoname function unit ALUs
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 21:37:21 +0000 (22:37 +0100)]
name function unit ALUs

4 years agocomment out DIV unit for now
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 19:58:27 +0000 (20:58 +0100)]
comment out DIV unit for now

4 years agoincrease combinatorial stages to 8
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 19:22:32 +0000 (20:22 +0100)]
increase combinatorial stages to 8

4 years agoreduce DIV radix to 1
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 19:17:07 +0000 (20:17 +0100)]
reduce DIV radix to 1

4 years agoadd DIV function unit to compunits
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 18:28:10 +0000 (19:28 +0100)]
add DIV function unit to compunits

4 years agoadd trap function unit into compunits
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 17:59:16 +0000 (18:59 +0100)]
add trap function unit into compunits

4 years agoadd bare wishbone option to TestIssuer, sort out ports
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 17:36:51 +0000 (18:36 +0100)]
add bare wishbone option to TestIssuer, sort out ports

4 years agouse single-arg pspec for TestIssuer and Core
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 13:13:48 +0000 (14:13 +0100)]
use single-arg pspec for TestIssuer and Core

4 years agofirst experimental index.rst for sphinx documentation
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 13:13:09 +0000 (14:13 +0100)]
first experimental index.rst for sphinx documentation

4 years agoadd sphinx doc preliminary start
Luke Kenneth Casson Leighton [Thu, 2 Jul 2020 13:12:14 +0000 (14:12 +0100)]
add sphinx doc preliminary start

4 years agoPresent the ALU result only when valid_o is active
Cesar Strauss [Thu, 2 Jul 2020 08:55:59 +0000 (05:55 -0300)]
Present the ALU result only when valid_o is active

This should help to catch latching of invalid data.
Also, better demonstrates the valid / ready protocol.

4 years agowhoops missed some cases in unit test changing ALUHelpers
Luke Kenneth Casson Leighton [Wed, 1 Jul 2020 19:41:23 +0000 (20:41 +0100)]
whoops missed some cases in unit test changing ALUHelpers

4 years agominor reorg on how Bus and Config classes are set up
Luke Kenneth Casson Leighton [Wed, 1 Jul 2020 19:38:00 +0000 (20:38 +0100)]
minor reorg on how Bus and Config classes are set up

4 years agowhoops swapped trap test instructions accidentally
Luke Kenneth Casson Leighton [Wed, 1 Jul 2020 19:16:32 +0000 (20:16 +0100)]
whoops swapped trap test instructions accidentally

4 years agoprint out msr for debug
Luke Kenneth Casson Leighton [Wed, 1 Jul 2020 16:47:29 +0000 (17:47 +0100)]
print out msr for debug

4 years agoattempting to add SPRs to rfid test
Luke Kenneth Casson Leighton [Wed, 1 Jul 2020 16:41:16 +0000 (17:41 +0100)]
attempting to add SPRs to rfid test

4 years agoadd OP_SC
Luke Kenneth Casson Leighton [Wed, 1 Jul 2020 16:14:47 +0000 (17:14 +0100)]
add OP_SC

4 years agotrap test check results
Luke Kenneth Casson Leighton [Wed, 1 Jul 2020 15:51:10 +0000 (16:51 +0100)]
trap test check results

4 years agoadd name "test_issuer" to ilang conversion
Luke Kenneth Casson Leighton [Wed, 1 Jul 2020 14:36:00 +0000 (15:36 +0100)]
add name "test_issuer" to ilang conversion

4 years agoadd in trap compunit
Luke Kenneth Casson Leighton [Wed, 1 Jul 2020 14:34:24 +0000 (15:34 +0100)]
add in trap compunit

4 years agoadd rfid and td/tw trap test
Luke Kenneth Casson Leighton [Wed, 1 Jul 2020 14:32:15 +0000 (15:32 +0100)]
add rfid and td/tw trap test

4 years agocontinue debugging trap pipeline
Luke Kenneth Casson Leighton [Wed, 1 Jul 2020 12:37:32 +0000 (13:37 +0100)]
continue debugging trap pipeline