soc.git
3 years agochanged test_runner to use state mem compare
klehman [Tue, 21 Sep 2021 18:20:31 +0000 (14:20 -0400)]
changed test_runner to use state mem compare

3 years agochanged over to use state mem compare
klehman [Tue, 21 Sep 2021 18:19:10 +0000 (14:19 -0400)]
changed over to use state mem compare

3 years agoMerge branch 'master' of ssh://git.libre-riscv.org:922/soc
Tobias Platen [Tue, 21 Sep 2021 17:49:19 +0000 (19:49 +0200)]
Merge branch 'master' of ssh://git.libre-riscv.org:922/soc

3 years agocomment out lines that cause test_compldst_multi_mmu.py to hang
Tobias Platen [Tue, 21 Sep 2021 17:49:01 +0000 (19:49 +0200)]
comment out lines that cause test_compldst_multi_mmu.py to hang

3 years agoconvert HDLState.get_mem() to a dictionary of memory state results
Luke Kenneth Casson Leighton [Tue, 21 Sep 2021 14:46:16 +0000 (15:46 +0100)]
convert HDLState.get_mem() to a dictionary of memory state results

3 years agoupdate test_compldst_multi_mmu.py
Tobias Platen [Mon, 20 Sep 2021 18:34:31 +0000 (20:34 +0200)]
update test_compldst_multi_mmu.py

3 years agouse get_l0_mem in HDLState to get memory data
Luke Kenneth Casson Leighton [Mon, 20 Sep 2021 17:33:38 +0000 (18:33 +0100)]
use get_l0_mem in HDLState to get memory data

3 years agoFix rel_o/go_i signal names
Cesar Strauss [Sun, 19 Sep 2021 20:13:18 +0000 (17:13 -0300)]
Fix rel_o/go_i signal names

3 years agoReplace "Display" with "print" on simulation process
Cesar Strauss [Sun, 19 Sep 2021 20:03:48 +0000 (17:03 -0300)]
Replace "Display" with "print" on simulation process

The fallback on nmutil doesn't work with "yield Display".

3 years agoFix import
Cesar Strauss [Sun, 19 Sep 2021 13:38:46 +0000 (10:38 -0300)]
Fix import

3 years agoUse a pre-compiled version of maturin
Cesar Strauss [Sat, 18 Sep 2021 20:56:41 +0000 (17:56 -0300)]
Use a pre-compiled version of maturin

Should save compile time on the Gitlab CI runner.

3 years agoallow individual unit tests to be named in test_issuer.py
Luke Kenneth Casson Leighton [Sat, 18 Sep 2021 15:35:59 +0000 (16:35 +0100)]
allow individual unit tests to be named in test_issuer.py

3 years agoalways store full memory state (including zeros)
Luke Kenneth Casson Leighton [Sat, 18 Sep 2021 15:05:09 +0000 (16:05 +0100)]
always store full memory state (including zeros)

3 years agoadded get_mem
klehman [Sat, 18 Sep 2021 11:44:01 +0000 (07:44 -0400)]
added get_mem

3 years agoupdate comments
Luke Kenneth Casson Leighton [Fri, 17 Sep 2021 15:13:15 +0000 (16:13 +0100)]
update comments
https://bugs.libre-soc.org/show_bug.cgi?id=686#c51

3 years agomoving teststate_check_regs written by klehman into openpower-isa
Luke Kenneth Casson Leighton [Thu, 16 Sep 2021 16:06:18 +0000 (17:06 +0100)]
moving teststate_check_regs written by klehman into openpower-isa

3 years agoMerge branch 'master' of ssh://git.libre-riscv.org:922/soc
isengaara [Wed, 15 Sep 2021 17:56:35 +0000 (19:56 +0200)]
Merge branch 'master' of ssh://git.libre-riscv.org:922/soc

3 years agoadd new testcase for ompldst_multi using mmu
isengaara [Wed, 15 Sep 2021 17:55:52 +0000 (19:55 +0200)]
add new testcase for ompldst_multi using mmu

3 years agoconvert to using TestState and State after moving to openpower-isa
Luke Kenneth Casson Leighton [Tue, 14 Sep 2021 17:38:58 +0000 (18:38 +0100)]
convert to using TestState and State after moving to openpower-isa

3 years agofactory add and intro doc string
klehman [Tue, 14 Sep 2021 15:43:10 +0000 (11:43 -0400)]
factory add and intro doc string

3 years agoSave Gitlab runner cache, even on a failed test
Cesar Strauss [Mon, 13 Sep 2021 09:22:43 +0000 (06:22 -0300)]
Save Gitlab runner cache, even on a failed test

Since our tests currently fail, the cache was never saved, not even once.

3 years agouse log instead of print
Luke Kenneth Casson Leighton [Sun, 12 Sep 2021 13:36:41 +0000 (14:36 +0100)]
use log instead of print

3 years agocode comments
Luke Kenneth Casson Leighton [Sun, 12 Sep 2021 13:24:00 +0000 (14:24 +0100)]
code comments

3 years agocreate new function teststate_check_regs which is called by check_regs
Luke Kenneth Casson Leighton [Sun, 12 Sep 2021 13:21:23 +0000 (14:21 +0100)]
create new function teststate_check_regs which is called by check_regs
teststate_checkregs does not care how many pieces of state it is asked
to compare. could be 2, could be 3, could be 30

3 years agochanges to utilize full teststate class
klehman [Sun, 12 Sep 2021 12:59:09 +0000 (08:59 -0400)]
changes to utilize full teststate class

3 years agoadded compare function
klehman [Sun, 12 Sep 2021 03:56:11 +0000 (23:56 -0400)]
added compare function

3 years agoadded factory function for test class creation
klehman [Sun, 12 Sep 2021 00:53:31 +0000 (20:53 -0400)]
added factory function for test class creation

3 years agoimplement base class in state class
klehman [Fri, 10 Sep 2021 20:58:15 +0000 (16:58 -0400)]
implement base class in state class

3 years agochanges made to utilize teststate class
klehman [Fri, 10 Sep 2021 15:08:12 +0000 (11:08 -0400)]
changes made to utilize teststate class

3 years agoupdate explanatory comments on LD/ST exception handling
Luke Kenneth Casson Leighton [Fri, 10 Sep 2021 10:19:47 +0000 (11:19 +0100)]
update explanatory comments on LD/ST exception handling

3 years agomade sim into generators and some uniformity changes
klehman [Thu, 9 Sep 2021 21:31:31 +0000 (17:31 -0400)]
made sim into generators and some uniformity changes

3 years agofinished remaining hdl items
klehman [Thu, 9 Sep 2021 16:33:01 +0000 (12:33 -0400)]
finished remaining hdl items

3 years agoHDL int reg added
klehman [Thu, 9 Sep 2021 13:01:50 +0000 (09:01 -0400)]
HDL int reg added

3 years agomore sim class registers add
klehman [Thu, 9 Sep 2021 12:04:23 +0000 (08:04 -0400)]
more sim class registers add

3 years agoMonitor exceptions, re-decoding the instruction in this case
Cesar Strauss [Wed, 8 Sep 2021 16:42:50 +0000 (13:42 -0300)]
Monitor exceptions, re-decoding the instruction in this case

The misaligned load test-case now passes.

Whenever an exception is reported during Execution, it is forwarded to
PowerDecode2. After Execution finishes, Issue notices this, and returns
directly to Decode, without updating PC, SVSTATE, etc. The exception
condition is always cleared after a Decode, to prepare the stage for
a new Execution.

3 years agoinitial commit of sim state class
klehman [Wed, 8 Sep 2021 13:03:13 +0000 (09:03 -0400)]
initial commit of sim state class

3 years agoMonitor the exception input to PowerDecoder2
Cesar Strauss [Wed, 8 Sep 2021 09:26:15 +0000 (06:26 -0300)]
Monitor the exception input to PowerDecoder2

3 years agoRemove default argument for dict.get()
Cesar Strauss [Wed, 8 Sep 2021 09:25:18 +0000 (06:25 -0300)]
Remove default argument for dict.get()

1) The default is already None.
2) It really doesn't accept keyword arguments

3 years agofun fixing of get_core_hdl_regs, "yield from"
Luke Kenneth Casson Leighton [Tue, 7 Sep 2021 21:37:06 +0000 (22:37 +0100)]
fun fixing of get_core_hdl_regs, "yield from"

3 years agomove functions to above where they are called
Luke Kenneth Casson Leighton [Tue, 7 Sep 2021 21:31:28 +0000 (22:31 +0100)]
move functions to above where they are called

3 years agobreakout of register collection and compare
klehman [Tue, 7 Sep 2021 21:15:42 +0000 (17:15 -0400)]
breakout of register collection and compare

3 years agoFix typo.
Cesar Strauss [Tue, 7 Sep 2021 19:11:15 +0000 (16:11 -0300)]
Fix typo.

3 years agoadd TODO code-comments
Luke Kenneth Casson Leighton [Tue, 7 Sep 2021 13:44:05 +0000 (14:44 +0100)]
add TODO code-comments
related to https://bugs.libre-soc.org/show_bug.cgi?id=686

3 years agowhitespace, add bug ref number to test API
Luke Kenneth Casson Leighton [Tue, 7 Sep 2021 13:40:39 +0000 (14:40 +0100)]
whitespace, add bug ref number to test API

3 years agoanother batch of ready/valid i/o prefix-suffix swaps
Luke Kenneth Casson Leighton [Fri, 3 Sep 2021 07:13:14 +0000 (08:13 +0100)]
another batch of ready/valid i/o prefix-suffix swaps

3 years agoanooother valid_o to convert to o_valid
Luke Kenneth Casson Leighton [Tue, 31 Aug 2021 20:27:08 +0000 (21:27 +0100)]
anooother valid_o to convert to o_valid

3 years agoupdate ready/valid in shift_rot test_pipe_caller
Luke Kenneth Casson Leighton [Tue, 31 Aug 2021 20:20:02 +0000 (21:20 +0100)]
update ready/valid in shift_rot test_pipe_caller

3 years agofix test_all_values_covered, missed import when moving test cases to openpower.git
Jacob Lifshay [Tue, 31 Aug 2021 04:54:04 +0000 (21:54 -0700)]
fix test_all_values_covered, missed import when moving test cases to openpower.git

3 years agoupdate ready/valid i/o_ prefix in div test helper.py
Luke Kenneth Casson Leighton [Mon, 30 Aug 2021 16:38:31 +0000 (17:38 +0100)]
update ready/valid i/o_ prefix in div test helper.py

3 years agofix ready/valid i/o prefix in ALU test
Luke Kenneth Casson Leighton [Mon, 30 Aug 2021 14:33:41 +0000 (15:33 +0100)]
fix ready/valid i/o prefix in ALU test

3 years agofix CR tests valid/ready naming
Luke Kenneth Casson Leighton [Mon, 30 Aug 2021 12:26:49 +0000 (13:26 +0100)]
fix CR tests valid/ready naming

3 years agomissed valid/ready_i/o to o/i_ conversion
Luke Kenneth Casson Leighton [Mon, 30 Aug 2021 11:39:26 +0000 (12:39 +0100)]
missed valid/ready_i/o to o/i_ conversion

3 years agomissed valid/ready_i/o to o/i_ conversion
Luke Kenneth Casson Leighton [Mon, 30 Aug 2021 11:36:54 +0000 (12:36 +0100)]
missed valid/ready_i/o to o/i_ conversion

3 years agounnecessary signal rename ivalid_i to ii_valid (reverting)
Luke Kenneth Casson Leighton [Sun, 29 Aug 2021 21:00:59 +0000 (22:00 +0100)]
unnecessary signal rename ivalid_i to ii_valid (reverting)

3 years agoreplace data_o with o_data and data_i with i_data as well
Luke Kenneth Casson Leighton [Tue, 24 Aug 2021 11:53:06 +0000 (12:53 +0100)]
replace data_o with o_data and data_i with i_data as well
a little more care involved here due to names such as st_data_o
and others

3 years agobig rename, global/search/replace of ready_o with o_ready and the other
Luke Kenneth Casson Leighton [Tue, 24 Aug 2021 10:22:14 +0000 (11:22 +0100)]
big rename, global/search/replace of ready_o with o_ready and the other
> 4 signals as well, valid_i -> i_valid
> https://libera.irclog.whitequark.org/nmigen/2021-08-24#30728292;
> to be consistent with nmigen standards

3 years agoremove svanalysis from Makefile, it is now part of openpower-isa
Luke Kenneth Casson Leighton [Sun, 22 Aug 2021 09:43:26 +0000 (10:43 +0100)]
remove svanalysis from Makefile, it is now part of openpower-isa

3 years agofix "link addr-go direct to rel"
Tobias Platen [Tue, 17 Aug 2021 18:06:10 +0000 (20:06 +0200)]
fix "link addr-go direct to rel"

3 years agoEnable LD/ST exception test case
Cesar Strauss [Tue, 17 Aug 2021 11:37:47 +0000 (08:37 -0300)]
Enable LD/ST exception test case

It helps for implementing exception handling in TestIssuer

3 years agoClear operand latch on a terminating condition
Cesar Strauss [Tue, 17 Aug 2021 11:11:19 +0000 (08:11 -0300)]
Clear operand latch on a terminating condition

3 years agoAdd exc_o.happened to the conditions for terminating the CompUnit FSM
Cesar Strauss [Tue, 17 Aug 2021 10:18:00 +0000 (07:18 -0300)]
Add exc_o.happened to the conditions for terminating the CompUnit FSM

Otherwise, a failed load will hang indefinitely, waiting for data that
never comes.

3 years agoFix activation of cancel signal
Cesar Strauss [Tue, 17 Aug 2021 10:13:04 +0000 (07:13 -0300)]
Fix activation of cancel signal

As an active low signal, the conditions to cancel must be ANDed together.
Being active high, exc_o.happened must be inverted.

3 years agoAdjust PortInterface traces according to MMU option
Cesar Strauss [Mon, 16 Aug 2021 21:39:39 +0000 (18:39 -0300)]
Adjust PortInterface traces according to MMU option

The hierarchy of PortInterface changes when the MMU is present. Set the
correct module path, so the traces don't vanish in the GTKWave document.

3 years agofix renamed symbols
Tobias Platen [Mon, 16 Aug 2021 18:25:14 +0000 (20:25 +0200)]
fix renamed symbols

3 years agoadd WIP DCBZTestCase
Tobias Platen [Mon, 16 Aug 2021 18:02:06 +0000 (20:02 +0200)]
add WIP DCBZTestCase

3 years agoGitLab-CI: Only run tests in src/
Jonathan Neuschäfer [Wed, 11 Aug 2021 07:46:11 +0000 (09:46 +0200)]
GitLab-CI: Only run tests in src/

Specifically, the tests in unused_please_ignore_completely/ should not
be run. Some of them would fail, but it doesn't matter.

3 years agomove unused directory out of src, to indicate "ignore completely"
Luke Kenneth Casson Leighton [Sun, 1 Aug 2021 17:46:55 +0000 (18:46 +0100)]
move unused directory out of src, to indicate "ignore completely"

3 years agoimport setup_i_memory from soc.simple.test.test_runner
Jonathan Neuschäfer [Sat, 31 Jul 2021 22:25:34 +0000 (00:25 +0200)]
import setup_i_memory from soc.simple.test.test_runner

This function was moved in commit 8482a3ed
("split out TestRunner into separate module").

3 years agosoc.simple.test: Rename setup_test_memory to avoid nosetest calling it
Jonathan Neuschäfer [Sun, 1 Aug 2021 17:08:50 +0000 (19:08 +0200)]
soc.simple.test: Rename setup_test_memory to avoid nosetest calling it

3 years agoRename test_dcache, which can't be invoked by test runners
Jonathan Neuschäfer [Sat, 31 Jul 2021 22:43:26 +0000 (00:43 +0200)]
Rename test_dcache, which can't be invoked by test runners

Functions named *test_* are invoked by test runners, such as nosetests,
but test_dcache was not written with this behavior in mind. Rename it to
avoid invocation.

Maybe the main block at the end of a file should now be converted into a
test that *is* invoked by test runners.

3 years agosimulator/test_sim.py should not have been added
Luke Kenneth Casson Leighton [Sun, 1 Aug 2021 17:39:27 +0000 (18:39 +0100)]
simulator/test_sim.py should not have been added

3 years agopartial fix for src/soc/experiment/compldst_multi.py
Tobias Platen [Sat, 31 Jul 2021 16:49:45 +0000 (18:49 +0200)]
partial fix for src/soc/experiment/compldst_multi.py

3 years agopartially fix unit test in compldst_multi.py
Tobias Platen [Fri, 30 Jul 2021 18:59:24 +0000 (20:59 +0200)]
partially fix unit test in compldst_multi.py

3 years agocompldst_multi: add debug output for dcbz
Tobias Platen [Mon, 26 Jul 2021 18:42:21 +0000 (20:42 +0200)]
compldst_multi: add debug output for dcbz

3 years agoadd test_issuer_dcache.py
Tobias Platen [Sat, 24 Jul 2021 11:25:49 +0000 (13:25 +0200)]
add test_issuer_dcache.py

3 years agoldst: cleanup debug outputs
Tobias Platen [Fri, 23 Jul 2021 18:49:52 +0000 (20:49 +0200)]
ldst: cleanup debug outputs

3 years agotest_dcbz_pi.py: dcbz now working
Tobias Platen [Fri, 23 Jul 2021 18:48:37 +0000 (20:48 +0200)]
test_dcbz_pi.py: dcbz now working

3 years agorevert accidential delete in test_pi2ls.py causing tests to break
Tobias Platen [Wed, 21 Jul 2021 19:04:24 +0000 (21:04 +0200)]
revert accidential delete in test_pi2ls.py causing tests to break

3 years agotest_dcbz_pi.py: do not use problem state
Tobias Platen [Wed, 21 Jul 2021 18:02:48 +0000 (20:02 +0200)]
test_dcbz_pi.py: do not use problem state

3 years agoupdate pi_dcbz function
Tobias Platen [Wed, 21 Jul 2021 17:57:55 +0000 (19:57 +0200)]
update pi_dcbz function

3 years agosrc/soc/config/test/test_pi2ls.py: add more debug outputs
Tobias Platen [Mon, 19 Jul 2021 19:01:38 +0000 (21:01 +0200)]
src/soc/config/test/test_pi2ls.py: add more debug outputs

3 years agotest_dcbz_pi.py: more work on unit test
Tobias Platen [Mon, 19 Jul 2021 18:38:05 +0000 (20:38 +0200)]
test_dcbz_pi.py: more work on unit test

3 years agoupdate TestRunner, SVSTATE is now a class that inherits from SelectableInt
Luke Kenneth Casson Leighton [Thu, 15 Jul 2021 12:51:49 +0000 (13:51 +0100)]
update TestRunner, SVSTATE is now a class that inherits from SelectableInt
rather than *contains* a SelectableInt

3 years agoupdate SVSTATE to 64 bit length (fortunately very easy)
Luke Kenneth Casson Leighton [Wed, 14 Jul 2021 19:07:02 +0000 (20:07 +0100)]
update SVSTATE to 64 bit length (fortunately very easy)

3 years agoadd more debug outputs, pass dcbz to loadstore/dcache
Tobias Platen [Wed, 14 Jul 2021 18:38:11 +0000 (20:38 +0200)]
add more debug outputs, pass dcbz to loadstore/dcache

3 years agodcache: improve debug output
Tobias Platen [Wed, 14 Jul 2021 18:28:31 +0000 (20:28 +0200)]
dcache: improve debug output

3 years agouse standard create_pdecode in TestRunner
Luke Kenneth Casson Leighton [Sat, 26 Jun 2021 12:38:03 +0000 (13:38 +0100)]
use standard create_pdecode in TestRunner

3 years agouse default decoder, do not pass one in.
Luke Kenneth Casson Leighton [Thu, 24 Jun 2021 21:11:07 +0000 (22:11 +0100)]
use default decoder, do not pass one in.
inside PowerDecoder2, create default decoder with new "conditions"

3 years agomore work on test_dcbz_pi.py
Tobias Platen [Sun, 11 Jul 2021 16:57:10 +0000 (18:57 +0200)]
more work on test_dcbz_pi.py

3 years agopass self.pi.is_dcbz to request
Tobias Platen [Sun, 11 Jul 2021 16:18:13 +0000 (18:18 +0200)]
pass self.pi.is_dcbz to request

3 years agoimplement pi_dcbz
Tobias Platen [Sun, 11 Jul 2021 15:50:25 +0000 (17:50 +0200)]
implement pi_dcbz

3 years agoMerge branch 'master' of ssh://git.libre-riscv.org:922/soc
Tobias Platen [Sun, 11 Jul 2021 15:38:04 +0000 (17:38 +0200)]
Merge branch 'master' of ssh://git.libre-riscv.org:922/soc

3 years agoadd test_dcbz_pi.py (skeleton only)
Tobias Platen [Sun, 11 Jul 2021 15:37:22 +0000 (17:37 +0200)]
add test_dcbz_pi.py (skeleton only)

3 years agoShow some usage of PortInterface in action
Cesar Strauss [Sat, 10 Jul 2021 21:53:22 +0000 (18:53 -0300)]
Show some usage of PortInterface in action

3 years agoAdd new traces to the GTKWave document
Cesar Strauss [Sat, 10 Jul 2021 17:25:16 +0000 (14:25 -0300)]
Add new traces to the GTKWave document

The new traces are related to the state latches, operand fetch and ALU
address generation.

3 years agoAdd operand producers to the parallel LDST Compunit test case
Cesar Strauss [Sat, 10 Jul 2021 17:17:17 +0000 (14:17 -0300)]
Add operand producers to the parallel LDST Compunit test case

Code from the parallel ALU Compunit test case was successfully reused.
Result consumers are to be added later.
The simulation now runs through the operand fetch phase and the address
ALU phase.

3 years agoDetect unexpected operand fetches and produced results
Cesar Strauss [Sat, 10 Jul 2021 16:47:19 +0000 (13:47 -0300)]
Detect unexpected operand fetches and produced results

When some operands are not used (zero_a and/or imm_ok), raise an error as
soon as rel_o is asserted. Likewise, for results (when not in RA update
mode).

3 years agoStart of a GTKWave document for the LDST CompUnit parallel unit test
Cesar Strauss [Wed, 7 Jul 2021 09:36:50 +0000 (06:36 -0300)]
Start of a GTKWave document for the LDST CompUnit parallel unit test

3 years agoBeginning of a class to make a parallel test case for LDSTCompUnit
Cesar Strauss [Sun, 4 Jul 2021 21:00:27 +0000 (18:00 -0300)]
Beginning of a class to make a parallel test case for LDSTCompUnit

For now it just issues an operation. Later it will setup producers and
consumers for input/output operands and the port interface.

3 years agocut down on time by uncommenting data not needed, adding documentation
Tobias Platen [Wed, 30 Jun 2021 17:41:01 +0000 (19:41 +0200)]
cut down on time by uncommenting data not needed, adding documentation