soc.git
4 years agoParameterize the issuer on the number of operands and results
Cesar Strauss [Mon, 23 Nov 2020 10:40:04 +0000 (07:40 -0300)]
Parameterize the issuer on the number of operands and results

This allows reuse for the DummyALU, which has three operands, but is
otherwise similar to the ALU in terms of operations.

Also, the issuer now creates the producers and consumers.

4 years agoRefactor the ALU operation issuer into a class
Cesar Strauss [Sun, 22 Nov 2020 22:07:32 +0000 (19:07 -0300)]
Refactor the ALU operation issuer into a class

This allows sharing its code with other similar test cases.

4 years agoPort the ALU test case to the new parallel test style
Cesar Strauss [Sun, 22 Nov 2020 19:05:15 +0000 (16:05 -0300)]
Port the ALU test case to the new parallel test style

Mostly copy & paste from the Shifter, but using the operation spec
for the ALU.

The producers transaction count will fall behind on zero_a and imm_ok
executions, so these counters were added to the invariant check.

4 years agoAdd a GTKWave document to the ALU test case
Cesar Strauss [Sun, 22 Nov 2020 17:12:19 +0000 (14:12 -0300)]
Add a GTKWave document to the ALU test case

4 years agosimplify litex-core wishbone interfaces
Luke Kenneth Casson Leighton [Sat, 14 Nov 2020 18:41:29 +0000 (18:41 +0000)]
simplify litex-core wishbone interfaces

4 years agoSeparate input and output ports by color
Cesar Strauss [Thu, 19 Nov 2020 10:52:05 +0000 (07:52 -0300)]
Separate input and output ports by color

4 years agoExplain the test cases
Cesar Strauss [Thu, 19 Nov 2020 10:38:11 +0000 (07:38 -0300)]
Explain the test cases

4 years agoSeparate individual traces for each rel_o/go_i port
Cesar Strauss [Wed, 18 Nov 2020 10:59:15 +0000 (07:59 -0300)]
Separate individual traces for each rel_o/go_i port

Use the new "bit" attribute to select individual bits from the
wide rel_o/go_i signals.

4 years agotestcase for dcbz
Tobias Platen [Tue, 17 Nov 2020 19:20:16 +0000 (20:20 +0100)]
testcase for dcbz

4 years agoAdd a transaction counter to producers and consumers
Cesar Strauss [Mon, 16 Nov 2020 22:17:19 +0000 (19:17 -0300)]
Add a transaction counter to producers and consumers

By comparing counts, we assure no data is duplicated or dropped.

4 years agoadd class LoadStore1(PortInterfaceBase)
Tobias Platen [Mon, 16 Nov 2020 19:02:05 +0000 (20:02 +0100)]
add class LoadStore1(PortInterfaceBase)

4 years agoImplement ResultConsumer and port the Shifter unit tests to it.
Cesar Strauss [Sun, 15 Nov 2020 20:20:19 +0000 (17:20 -0300)]
Implement ResultConsumer and port the Shifter unit tests to it.

4 years agoMove the DUT driver to within the test case process
Cesar Strauss [Sat, 14 Nov 2020 22:29:05 +0000 (19:29 -0300)]
Move the DUT driver to within the test case process

This reduces verbosity, as parameters are replaced by local variables in
the external scope.
Another way would be to save the parameters in a class, and transform the
function into a method.

4 years agoFix and enable the regspec test for the Shifter
Cesar Strauss [Sat, 14 Nov 2020 18:15:44 +0000 (15:15 -0300)]
Fix and enable the regspec test for the Shifter

1) use correct names for the Shifter ports in the regspec
2) migrate to the new OperandProducer
3) add the test on __main__

4 years agosigh, direction wrong in IOtypes litex core
Luke Kenneth Casson Leighton [Sat, 14 Nov 2020 14:29:26 +0000 (14:29 +0000)]
sigh, direction wrong in IOtypes litex core

4 years agoreduce number of nc in ls180 to 24
Luke Kenneth Casson Leighton [Fri, 13 Nov 2020 17:51:13 +0000 (17:51 +0000)]
reduce number of nc in ls180 to 24

4 years agoreduce clkcsel ls180 width (2 pins), rename pll_18 signal
Luke Kenneth Casson Leighton [Fri, 13 Nov 2020 17:47:46 +0000 (17:47 +0000)]
reduce clkcsel ls180 width (2 pins), rename pll_18 signal

4 years agorename and add pll lock signal to ls180
Luke Kenneth Casson Leighton [Fri, 13 Nov 2020 16:10:42 +0000 (16:10 +0000)]
rename and add pll lock signal to ls180

4 years agorename ls180 litex pll_48 output to pll_18
Luke Kenneth Casson Leighton [Fri, 13 Nov 2020 16:04:15 +0000 (16:04 +0000)]
rename ls180 litex pll_48 output to pll_18

4 years agoadd enable/disable arguments (not ideal but it works) to issuer_verilog.py
Luke Kenneth Casson Leighton [Fri, 13 Nov 2020 15:48:21 +0000 (15:48 +0000)]
add enable/disable arguments (not ideal but it works) to issuer_verilog.py

4 years agoremove io_in/out now it is not needed for niolib
Luke Kenneth Casson Leighton [Fri, 13 Nov 2020 15:45:51 +0000 (15:45 +0000)]
remove io_in/out now it is not needed for niolib

4 years agodcbz and tlbie first test, still incomplete
Tobias Platen [Wed, 11 Nov 2020 18:51:41 +0000 (19:51 +0100)]
dcbz and tlbie first test, still incomplete

4 years agofu/mmu/test/test_pipe_caller.py test case for mfspr
Tobias Platen [Wed, 11 Nov 2020 18:09:52 +0000 (19:09 +0100)]
fu/mmu/test/test_pipe_caller.py test case for mfspr

4 years agoadd build commands to Makefile for versa ecp5
Luke Kenneth Casson Leighton [Tue, 10 Nov 2020 19:44:09 +0000 (19:44 +0000)]
add build commands to Makefile for versa ecp5

4 years agosubmodule update
Luke Kenneth Casson Leighton [Tue, 10 Nov 2020 19:37:49 +0000 (19:37 +0000)]
submodule update

4 years agoremove ClockSelect module, use DummyPLL
Luke Kenneth Casson Leighton [Tue, 10 Nov 2020 16:40:33 +0000 (16:40 +0000)]
remove ClockSelect module, use DummyPLL

4 years agoadd separate DummyPLL module, according to API discussed at
Luke Kenneth Casson Leighton [Tue, 10 Nov 2020 15:49:56 +0000 (15:49 +0000)]
add separate DummyPLL module, according to API discussed at
https://bugs.libre-soc.org/show_bug.cgi?id=155#c21
;

4 years agommu fsm testcase: add check_fsm_outputs based on function from soc/fu/div/test/helper.py
Tobias Platen [Sun, 8 Nov 2020 12:05:36 +0000 (13:05 +0100)]
mmu fsm testcase: add check_fsm_outputs based on function from soc/fu/div/test/helper.py

4 years agoMerge branch 'master' of ssh://git.libre-riscv.org:922/soc
Tobias Platen [Sun, 8 Nov 2020 09:31:11 +0000 (10:31 +0100)]
Merge branch 'master' of ssh://git.libre-riscv.org:922/soc

4 years agommu/fsm: test case for mtspr
Tobias Platen [Sun, 8 Nov 2020 09:30:08 +0000 (10:30 +0100)]
mmu/fsm: test case for mtspr

4 years agoupdate submodule
Luke Kenneth Casson Leighton [Sat, 7 Nov 2020 22:27:38 +0000 (22:27 +0000)]
update submodule

4 years agofixed a bug in src/soc/fu/mmu/fsm.py
Tobias Platen [Sat, 7 Nov 2020 14:43:07 +0000 (15:43 +0100)]
fixed a bug in src/soc/fu/mmu/fsm.py

4 years agosigh sorting out litex pin-connections to sdram
Luke Kenneth Casson Leighton [Fri, 6 Nov 2020 11:48:01 +0000 (11:48 +0000)]
sigh sorting out litex pin-connections to sdram

4 years agomove back to 3.3v on X3 VERSA ECP5 connector
Luke Kenneth Casson Leighton [Wed, 4 Nov 2020 19:10:28 +0000 (19:10 +0000)]
move back to 3.3v on X3 VERSA ECP5 connector

4 years agoMMU: begin test case for 'dcbz'
Tobias Platen [Wed, 4 Nov 2020 17:49:31 +0000 (18:49 +0100)]
MMU: begin test case for 'dcbz'

4 years agofix broken unittest after installing power-instruction-analyzer
Tobias Platen [Tue, 3 Nov 2020 18:48:08 +0000 (19:48 +0100)]
fix broken unittest after installing power-instruction-analyzer

4 years agoswap jtag pinorder to match ulx3s
Luke Kenneth Casson Leighton [Tue, 3 Nov 2020 13:53:41 +0000 (13:53 +0000)]
swap jtag pinorder to match ulx3s

4 years agochange LVCMOS level on versa ecp5 jtag to 2.5v
Luke Kenneth Casson Leighton [Tue, 3 Nov 2020 13:40:28 +0000 (13:40 +0000)]
change LVCMOS level on versa ecp5 jtag to 2.5v

4 years agoAdd a check for liveness.
Cesar Strauss [Sun, 1 Nov 2020 17:02:52 +0000 (14:02 -0300)]
Add a check for liveness.

There was already a check for the correctness of the results, but there
was no guarantee that any result would be produced at all.

4 years agoversa_ecp5.py add 4 arbitrarily assigned gpio pins to be used by
Cole Poirier [Fri, 30 Oct 2020 21:33:00 +0000 (14:33 -0700)]
versa_ecp5.py add 4 arbitrarily assigned gpio pins to be used by
Libre-SOC JTAG interface on ulx3s

4 years agoCheck that the read and write counters differ at most by one
Cesar Strauss [Sat, 31 Oct 2020 18:29:37 +0000 (15:29 -0300)]
Check that the read and write counters differ at most by one

This will assure there are no dropped work items.

4 years agoRemove stray comment
Cesar Strauss [Sat, 31 Oct 2020 13:46:00 +0000 (10:46 -0300)]
Remove stray comment

It was part of a code block that was removed.

4 years agoadd JTAG extension to versa_ecp5 then we can use it
Luke Kenneth Casson Leighton [Fri, 30 Oct 2020 18:47:59 +0000 (18:47 +0000)]
add JTAG extension to versa_ecp5 then we can use it

4 years agoImplement an operand producer that talks the rel_o/go_i handshake
Cesar Strauss [Wed, 28 Oct 2020 22:57:55 +0000 (19:57 -0300)]
Implement an operand producer that talks the rel_o/go_i handshake

It can be instantiated once for each operand port, working in parallel
with the main test-bench process.

4 years agosubmodule update
Luke Kenneth Casson Leighton [Sat, 24 Oct 2020 22:15:01 +0000 (23:15 +0100)]
submodule update

4 years agoCreate a GTKWave document for the test ALU unit tests
Cesar Strauss [Sat, 24 Oct 2020 17:47:16 +0000 (14:47 -0300)]
Create a GTKWave document for the test ALU unit tests

4 years agoadd query about cross-domain on the JTAG enable of WB
Luke Kenneth Casson Leighton [Thu, 22 Oct 2020 15:59:02 +0000 (16:59 +0100)]
add query about cross-domain on the JTAG enable of WB
https://bugs.libre-soc.org/show_bug.cgi?id=520

4 years agoadd detection and disable of Instruction Wishbone based on JTAG command
Luke Kenneth Casson Leighton [Thu, 22 Oct 2020 15:50:37 +0000 (16:50 +0100)]
add detection and disable of Instruction Wishbone based on JTAG command

4 years agoadd detection and disable of LoadStore Wishbone based on JTAG command
Luke Kenneth Casson Leighton [Thu, 22 Oct 2020 15:49:11 +0000 (16:49 +0100)]
add detection and disable of LoadStore Wishbone based on JTAG command

4 years agoadd JTAG enable/disable of wishbone to TestIssuer
Luke Kenneth Casson Leighton [Thu, 22 Oct 2020 15:47:23 +0000 (16:47 +0100)]
add JTAG enable/disable of wishbone to TestIssuer

4 years agoadd means to JTAG interface to enable/disable "stuff" currently just WB
Luke Kenneth Casson Leighton [Thu, 22 Oct 2020 13:13:11 +0000 (14:13 +0100)]
add means to JTAG interface to enable/disable "stuff"  currently just WB

4 years agoversa_ecp5 adds ability to build and load for ulx3s85f, fixes testgpio
Cole Poirier [Wed, 21 Oct 2020 21:26:10 +0000 (14:26 -0700)]
versa_ecp5 adds ability to build and load for ulx3s85f, fixes testgpio
feature

4 years agofix up asserts (check correct pads/cores)
Luke Kenneth Casson Leighton [Wed, 21 Oct 2020 16:47:15 +0000 (17:47 +0100)]
fix up asserts (check correct pads/cores)
https://bugs.libre-soc.org/show_bug.cgi?id=511#c12

4 years agos/alu/fsm/g
Tobias Platen [Tue, 20 Oct 2020 17:42:50 +0000 (19:42 +0200)]
s/alu/fsm/g

4 years agotest case for FSMMMUStage
Tobias Platen [Tue, 20 Oct 2020 16:41:39 +0000 (18:41 +0200)]
test case for FSMMMUStage

4 years agouse random.seed to generate repro cases of the two different failure
Cole Poirier [Sun, 18 Oct 2020 00:39:22 +0000 (17:39 -0700)]
use random.seed to generate repro cases of the two different failure
modes of test_icache()

4 years agoexperiment swapping dummy trap stage over to input
Luke Kenneth Casson Leighton [Fri, 16 Oct 2020 19:51:09 +0000 (20:51 +0100)]
experiment swapping dummy trap stage over to input

4 years agore-enable tests
Luke Kenneth Casson Leighton [Fri, 16 Oct 2020 18:29:16 +0000 (19:29 +0100)]
re-enable tests

4 years agomanually run coresync clock for test issuer
Luke Kenneth Casson Leighton [Fri, 16 Oct 2020 18:28:36 +0000 (19:28 +0100)]
manually run coresync clock for test issuer

4 years agoset defaults in pspec
Luke Kenneth Casson Leighton [Fri, 16 Oct 2020 18:26:05 +0000 (19:26 +0100)]
set defaults in pspec

4 years agoupdate submodule
Luke Kenneth Casson Leighton [Fri, 16 Oct 2020 18:14:50 +0000 (19:14 +0100)]
update submodule

4 years agoadd extra (test dummy stage in trap to see if combinatorial latency is reduced
Luke Kenneth Casson Leighton [Fri, 16 Oct 2020 18:09:40 +0000 (19:09 +0100)]
add extra (test dummy stage in trap to see if combinatorial latency is reduced

4 years agoadd LGPLv3+ notice and add copyright holders
Luke Kenneth Casson Leighton [Fri, 16 Oct 2020 18:08:24 +0000 (19:08 +0100)]
add LGPLv3+ notice and add copyright holders

4 years agoadd commented-out connection to JTAG in ECP5 litex
Luke Kenneth Casson Leighton [Thu, 15 Oct 2020 20:43:22 +0000 (21:43 +0100)]
add commented-out connection to JTAG in ECP5 litex

4 years agowrong pspec variable in selecting pll clock
Luke Kenneth Casson Leighton [Thu, 15 Oct 2020 17:11:11 +0000 (18:11 +0100)]
wrong pspec variable in selecting pll clock

4 years agosorting out missing clock somewhere
Luke Kenneth Casson Leighton [Thu, 15 Oct 2020 17:05:44 +0000 (18:05 +0100)]
sorting out missing clock somewhere

4 years agouse "enable" and set default actions in getopt
Luke Kenneth Casson Leighton [Thu, 15 Oct 2020 16:43:27 +0000 (17:43 +0100)]
use "enable" and set default actions in getopt

4 years agoadd extra variant to litex core
Luke Kenneth Casson Leighton [Thu, 15 Oct 2020 14:59:21 +0000 (15:59 +0100)]
add extra variant to litex core

4 years agosyntax error
Luke Kenneth Casson Leighton [Thu, 15 Oct 2020 14:58:09 +0000 (15:58 +0100)]
syntax error

4 years agodisable gpio in litex core
Luke Kenneth Casson Leighton [Thu, 15 Oct 2020 14:53:00 +0000 (15:53 +0100)]
disable gpio in litex core

4 years agoenable/disable litex irqs based on variant name
Luke Kenneth Casson Leighton [Thu, 15 Oct 2020 12:25:49 +0000 (13:25 +0100)]
enable/disable litex irqs based on variant name

4 years agoMakefile develop, when running setup.py develop specify --user so admin
Cole Poirier [Wed, 14 Oct 2020 00:37:32 +0000 (17:37 -0700)]
Makefile develop, when running setup.py develop specify --user so admin
access is not needed

4 years agoissuer_verilog.py update to use commandline args using argparse, fix
Cole Poirier [Wed, 14 Oct 2020 00:04:43 +0000 (17:04 -0700)]
issuer_verilog.py update to use commandline args using argparse, fix
formatting

4 years agomove pia from install_requires to test_requires
Cole Poirier [Tue, 13 Oct 2020 17:21:53 +0000 (10:21 -0700)]
move pia from install_requires to test_requires

4 years agolitex/florent/versa_ecp5.py add arg --fpga [versa_ecp5|ulx3s85f] default
Cole Poirier [Mon, 12 Oct 2020 23:30:10 +0000 (16:30 -0700)]
litex/florent/versa_ecp5.py add arg --fpga [versa_ecp5|ulx3s85f] default
of versa_ecp5, to build for different fpga targets, fix whitespace,
delete ulx3s85f.py as it's no longer needed

4 years agofix ModuleNotFound/Import errors found when running pytest, just due to
Cole Poirier [Mon, 12 Oct 2020 22:24:03 +0000 (15:24 -0700)]
fix ModuleNotFound/Import errors found when running pytest, just due to
things being renamed and not kept in sync

4 years agoupdate gitlab ci
Tobias Platen [Mon, 12 Oct 2020 20:00:40 +0000 (20:00 +0000)]
update gitlab ci

4 years agoadd tested working fpga compile/build/load file for ulxs3s LFE5U-85F as ulx3s85f...
Cole Poirier [Mon, 12 Oct 2020 19:36:20 +0000 (12:36 -0700)]
add tested working fpga compile/build/load file for ulxs3s LFE5U-85F as ulx3s85f.py based on versa_ecp5.py

4 years agoadd way to bypass PLL for ECP5 and sim
Luke Kenneth Casson Leighton [Sun, 11 Oct 2020 15:01:58 +0000 (16:01 +0100)]
add way to bypass PLL for ECP5 and sim

4 years agocomment out XICS/GPIO interrupt test, causes ECP5 litex build to fail
Luke Kenneth Casson Leighton [Sun, 11 Oct 2020 13:57:38 +0000 (14:57 +0100)]
comment out XICS/GPIO interrupt test, causes ECP5 litex build to fail
(input incorrectly detected as output)

4 years agorecord commands for building ECP5
Luke Kenneth Casson Leighton [Sun, 11 Oct 2020 13:50:11 +0000 (14:50 +0100)]
record commands for building ECP5

4 years agolitex sim.py operational
Luke Kenneth Casson Leighton [Sun, 11 Oct 2020 13:19:55 +0000 (14:19 +0100)]
litex sim.py operational

4 years agoflorent/versa_ecp5.py remove uneccessary imports, specify actual import
Cole Poirier [Sat, 10 Oct 2020 20:38:11 +0000 (13:38 -0700)]
florent/versa_ecp5.py remove uneccessary imports, specify actual import
instead of evil 'import *'

4 years agoadd debug start/stop to firmware_upload script
Luke Kenneth Casson Leighton [Sat, 10 Oct 2020 16:12:54 +0000 (17:12 +0100)]
add debug start/stop to firmware_upload script

4 years agoadd DMI status / reset to firmware upload script
Luke Kenneth Casson Leighton [Sat, 10 Oct 2020 14:45:59 +0000 (15:45 +0100)]
add DMI status / reset to firmware upload script

4 years agoadd first version of firmware uploader
Luke Kenneth Casson Leighton [Sat, 10 Oct 2020 14:13:38 +0000 (15:13 +0100)]
add first version of firmware uploader

4 years agoupdate submodule
Jacob Lifshay [Fri, 9 Oct 2020 23:33:39 +0000 (16:33 -0700)]
update submodule

4 years agoupdate submodule
Jacob Lifshay [Fri, 9 Oct 2020 22:57:01 +0000 (15:57 -0700)]
update submodule

4 years agouse libresoc version of c4m-jtag repo
Luke Kenneth Casson Leighton [Fri, 9 Oct 2020 13:16:20 +0000 (14:16 +0100)]
use libresoc version of c4m-jtag repo

4 years agosubmodule update
Luke Kenneth Casson Leighton [Fri, 9 Oct 2020 11:06:48 +0000 (12:06 +0100)]
submodule update

4 years agodrop in "undefined" function into ISAcaller namespace
Luke Kenneth Casson Leighton [Fri, 9 Oct 2020 10:51:18 +0000 (11:51 +0100)]
drop in "undefined" function into ISAcaller namespace

4 years agorename undef to undefined (preserving the fact that it is a function)
Luke Kenneth Casson Leighton [Fri, 9 Oct 2020 10:34:29 +0000 (11:34 +0100)]
rename undef to undefined (preserving the fact that it is a function)

4 years agomissing yields in JTAG pads test to allow settling
Luke Kenneth Casson Leighton [Thu, 8 Oct 2020 22:36:35 +0000 (23:36 +0100)]
missing yields in JTAG pads test to allow settling

4 years agofinish converting mul tests to use common code
Jacob Lifshay [Fri, 9 Oct 2020 04:19:07 +0000 (21:19 -0700)]
finish converting mul tests to use common code

4 years agoworking on splitting out common mul pipe test code
Jacob Lifshay [Fri, 9 Oct 2020 03:24:02 +0000 (20:24 -0700)]
working on splitting out common mul pipe test code

add initial tests for mul-add instructions

4 years agoadd carry handling to pia_res_to_output
Jacob Lifshay [Fri, 9 Oct 2020 03:23:17 +0000 (20:23 -0700)]
add carry handling to pia_res_to_output

4 years agomove pia_res_to_output to common test helpers
Jacob Lifshay [Fri, 9 Oct 2020 03:21:51 +0000 (20:21 -0700)]
move pia_res_to_output to common test helpers

4 years agomove mul pipe ilang test to separate file
Jacob Lifshay [Fri, 9 Oct 2020 00:45:32 +0000 (17:45 -0700)]
move mul pipe ilang test to separate file

4 years agoadd undef()
Jacob Lifshay [Fri, 9 Oct 2020 00:31:46 +0000 (17:31 -0700)]
add undef()

4 years agoupdate submodule
Jacob Lifshay [Fri, 9 Oct 2020 00:31:27 +0000 (17:31 -0700)]
update submodule