2021-02-21 |
Cesar Strauss | The field selection function was moved to nmutil.util
|
commit | commitdiff | tree |
2021-02-21 |
Cesar Strauss | Hide the register augmentation traces by default
|
commit | commitdiff | tree |
2021-02-21 |
Cesar Strauss | The new version of "sel" is smart enough to find a...
|
commit | commitdiff | tree |
2021-02-21 |
Cesar Strauss | Use the new selection field function from nmutil
|
commit | commitdiff | tree |
2021-02-21 |
Cesar Strauss | Use symbolic values as field sizes
|
commit | commitdiff | tree |
2021-02-21 |
Cesar Strauss | Replace all hardcoded shifts into RM by usage of SVP64RMFields
|
commit | commitdiff | tree |
2021-02-20 |
Cesar Strauss | Actually forward the field width to field_slice()
|
commit | commitdiff | tree |
2021-02-20 |
Cesar Strauss | Assemble the SV64 prefix from its subfields using SVP64Prefi...
|
commit | commitdiff | tree |
2021-02-20 |
Cesar Strauss | Fix more MSB0 issues in comments
|
commit | commitdiff | tree |
2021-02-20 |
Cesar Strauss | Replace more hardcoded constants with symbolic field...
|
commit | commitdiff | tree |
2021-02-17 |
Cesar Strauss | Use subfield bit selection to extract the RM SVP64...
|
commit | commitdiff | tree |
2021-02-17 |
Cesar Strauss | Replace MSB-i by symbolic subfield indices and selectors
|
commit | commitdiff | tree |
2021-02-17 |
Cesar Strauss | Add the SVSTATE traces to GTKWave to allow debugging...
|
commit | commitdiff | tree |
2021-02-17 |
Cesar Strauss | Initialize the core SVSTATE from the corresponding...
|
commit | commitdiff | tree |
2021-02-17 |
Cesar Strauss | Revert "Setup SVSTATE, from the test settings, at the...
|
commit | commitdiff | tree |
2021-02-17 |
Cesar Strauss | Add a function to select bits from a signal into a...
|
commit | commitdiff | tree |
2021-02-17 |
Cesar Strauss | Add a case for checking the EXTRA field and register...
|
commit | commitdiff | tree |
2021-02-17 |
Cesar Strauss | Add traces to debug SVP64 prefix decoding issues
|
commit | commitdiff | tree |
2021-02-17 |
Cesar Strauss | Setup SVSTATE, from the test settings, at the start
|
commit | commitdiff | tree |
2021-02-16 |
Cesar Strauss | Fix MSB0 issues for SVP64
|
commit | commitdiff | tree |
2021-02-15 |
Cesar Strauss | Simplify obtaining the PC from the register file
|
commit | commitdiff | tree |
2021-02-14 |
Cesar Strauss | Show traces for the register numbers of the current...
|
commit | commitdiff | tree |
2021-02-14 |
Cesar Strauss | Fix width of the "extra" input on the Extra decoder
|
commit | commitdiff | tree |
2021-02-14 |
Cesar Strauss | Fix conversion to MSB0
|
commit | commitdiff | tree |
2021-02-14 |
Cesar Strauss | Remove obsolete comment
|
commit | commitdiff | tree |
2021-02-13 |
Cesar Strauss | Fetch and decode the SVP64 prefix
|
commit | commitdiff | tree |
2021-02-13 |
Cesar Strauss | Check the PC value at the end of each instruction
|
commit | commitdiff | tree |
2021-02-13 |
Cesar Strauss | Skip vector test case, and add a scalar case
|
commit | commitdiff | tree |
2021-02-13 |
Cesar Strauss | Fix imports and whitespace
|
commit | commitdiff | tree |
2021-02-13 |
Cesar Strauss | Fix SVP64 translator to yield the unaltered instruction
|
commit | commitdiff | tree |
2021-02-06 |
Cesar Strauss | Fix whitespace
|
commit | commitdiff | tree |
2021-02-06 |
Cesar Strauss | Extract the fetch FSM out from the main FSM
|
commit | commitdiff | tree |
2021-02-01 |
Cesar Strauss | Add GTKWave document to test_issuer
|
commit | commitdiff | tree |
2021-01-31 |
Cesar Strauss | Fix loop test and enable it
|
commit | commitdiff | tree |
2021-01-01 |
Cesar Strauss | Add zero CR test case and fix comments
|
commit | commitdiff | tree |
2021-01-01 |
Cesar Strauss | Add test cases with rc=1
|
commit | commitdiff | tree |
2021-01-01 |
Cesar Strauss | Make all ports the same size, on the test ALU
|
commit | commitdiff | tree |
2021-01-01 |
Cesar Strauss | Add CR output port to test cases
|
commit | commitdiff | tree |
2021-01-01 |
Cesar Strauss | Add CR to the output data port
|
commit | commitdiff | tree |
2021-01-01 |
Cesar Strauss | Make output write enables independent of valid_o
|
commit | commitdiff | tree |
2021-01-01 |
Cesar Strauss | Move NOP test case earlier
|
commit | commitdiff | tree |
2021-01-01 |
Cesar Strauss | Disable data value output on NOP
|
commit | commitdiff | tree |
2021-01-01 |
Cesar Strauss | Add condition register (CR) output
|
commit | commitdiff | tree |
2020-12-31 |
Cesar Strauss | Implement and test NOP in the test ALU
|
commit | commitdiff | tree |
2020-12-31 |
Cesar Strauss | Don't use OP_NOP for zero-delay subtraction
|
commit | commitdiff | tree |
2020-12-31 |
Cesar Strauss | Test first input port being masked out
|
commit | commitdiff | tree |
2020-12-31 |
Cesar Strauss | Sign extend the second input port
|
commit | commitdiff | tree |
2020-12-31 |
Cesar Strauss | Test masked-out second input port
|
commit | commitdiff | tree |
2020-12-31 |
Cesar Strauss | Add sign extend to the Test ALU
|
commit | commitdiff | tree |
2020-12-31 |
Cesar Strauss | Show rdmaskn and wrmask in GTKWave
|
commit | commitdiff | tree |
2020-12-31 |
Cesar Strauss | Use the increment operator
|
commit | commitdiff | tree |
2020-12-31 |
Cesar Strauss | Add support for masked write operations
|
commit | commitdiff | tree |
2020-12-31 |
Cesar Strauss | Clarify reason for holding rdmaskn valid during the...
|
commit | commitdiff | tree |
2020-12-31 |
Cesar Strauss | Remove previous version of the CompUnit parallel unit...
|
commit | commitdiff | tree |
2020-12-31 |
Cesar Strauss | Only hold the decoder signals for one cycle, along...
|
commit | commitdiff | tree |
2020-12-30 |
Cesar Strauss | Test the rdmaskn control signal
|
commit | commitdiff | tree |
2020-12-29 |
Cesar Strauss | Remove left-over comments.
|
commit | commitdiff | tree |
2020-12-20 |
Cesar Strauss | Add support for CXXSim simulation
|
commit | commitdiff | tree |
2020-12-13 |
Cesar Strauss | Ignore formal verification output in the source directory
|
commit | commitdiff | tree |
2020-12-13 |
Cesar Strauss | Allow more test cases to be run with CXXSim
|
commit | commitdiff | tree |
2020-12-07 |
Cesar Strauss | Display the instruction type as a vector on cxxsim
|
commit | commitdiff | tree |
2020-12-06 |
Cesar Strauss | Whitespace
|
commit | commitdiff | tree |
2020-12-06 |
Cesar Strauss | Update GTKWave documents to work with latest cxxsim
|
commit | commitdiff | tree |
2020-12-05 |
Cesar Strauss | Write a GTKWave document to investigate why the proof...
|
commit | commitdiff | tree |
2020-12-05 |
Cesar Strauss | Use the DummyALU regspec and its corresponding OpSubset
|
commit | commitdiff | tree |
2020-11-28 |
Cesar Strauss | Fix signal names: go/rel -> go_i/rel_o
|
commit | commitdiff | tree |
2020-11-24 |
Cesar Strauss | Fix some typos and whitespace
|
commit | commitdiff | tree |
2020-11-24 |
Cesar Strauss | Port the DummyALU test case to the new parallel issuer
|
commit | commitdiff | tree |
2020-11-23 |
Cesar Strauss | Results are now a list, so "expected" should follow...
|
commit | commitdiff | tree |
2020-11-23 |
Cesar Strauss | Parameterize the issuer on the number of operands and...
|
commit | commitdiff | tree |
2020-11-22 |
Cesar Strauss | Refactor the ALU operation issuer into a class
|
commit | commitdiff | tree |
2020-11-22 |
Cesar Strauss | Port the ALU test case to the new parallel test style
|
commit | commitdiff | tree |
2020-11-22 |
Cesar Strauss | Add a GTKWave document to the ALU test case
|
commit | commitdiff | tree |
2020-11-19 |
Cesar Strauss | Separate input and output ports by color
|
commit | commitdiff | tree |
2020-11-19 |
Cesar Strauss | Explain the test cases
|
commit | commitdiff | tree |
2020-11-18 |
Cesar Strauss | Separate individual traces for each rel_o/go_i port
|
commit | commitdiff | tree |
2020-11-16 |
Cesar Strauss | Add a transaction counter to producers and consumers
|
commit | commitdiff | tree |
2020-11-15 |
Cesar Strauss | Implement ResultConsumer and port the Shifter unit...
|
commit | commitdiff | tree |
2020-11-14 |
Cesar Strauss | Move the DUT driver to within the test case process
|
commit | commitdiff | tree |
2020-11-14 |
Cesar Strauss | Fix and enable the regspec test for the Shifter
|
commit | commitdiff | tree |
2020-11-01 |
Cesar Strauss | Add a check for liveness.
|
commit | commitdiff | tree |
2020-10-31 |
Cesar Strauss | Check that the read and write counters differ at most...
|
commit | commitdiff | tree |
2020-10-31 |
Cesar Strauss | Remove stray comment
|
commit | commitdiff | tree |
2020-10-28 |
Cesar Strauss | Implement an operand producer that talks the rel_o...
|
commit | commitdiff | tree |
2020-10-24 |
Cesar Strauss | Create a GTKWave document for the test ALU unit tests
|
commit | commitdiff | tree |
2020-10-01 |
Cesar Strauss | Add GTKWave document to test_compunit_fsm
|
commit | commitdiff | tree |
2020-09-27 |
Cesar Strauss | Convert yet another few tests to be able to use latest...
|
commit | commitdiff | tree |
2020-09-26 |
Cesar Strauss | Convert a few more tests to be able to use cxxsim
|
commit | commitdiff | tree |
2020-09-24 |
Cesar Strauss | Use nmutil simulator module to simplify choosing among...
|
commit | commitdiff | tree |
2020-09-24 |
Cesar Strauss | Fix whitespace, remove unused imports
|
commit | commitdiff | tree |
2020-09-24 |
Cesar Strauss | Use nmutil simulator module to simplify choosing among...
|
commit | commitdiff | tree |
2020-09-22 |
Cesar Strauss | Port soc.experiment.alu_fsm to the new way of invoking...
|
commit | commitdiff | tree |
2020-09-20 |
Cesar Strauss | Add induction proof for the FSM Shifter
|
commit | commitdiff | tree |
2020-09-20 |
Cesar Strauss | Add bounded proof to FSM Shifter
|
commit | commitdiff | tree |
2020-09-20 |
Cesar Strauss | Let the formal engine create some test cases for the...
|
commit | commitdiff | tree |
2020-09-19 |
Cesar Strauss | Remove demonstration code
|
commit | commitdiff | tree |
2020-08-29 |
Cesar Strauss | Move new write_gtkw and its example to nmutil
|
commit | commitdiff | tree |
2020-08-23 |
Cesar Strauss | Allow an empty style, and passing default styles as...
|
commit | commitdiff | tree |
2020-08-23 |
Cesar Strauss | Add comment node type
|
commit | commitdiff | tree |
2020-08-23 |
Cesar Strauss | Add base and display styles
|
commit | commitdiff | tree |
next |