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 |
2020-08-23 |
Cesar Strauss | Apply style from node own name
|
commit | commitdiff | tree |
2020-08-23 |
Cesar Strauss | Add color style
|
commit | commitdiff | tree |
2020-08-23 |
Cesar Strauss | Collect styles from the tuple
|
commit | commitdiff | tree |
2020-08-23 |
Cesar Strauss | Propagate the root style to all signals
|
commit | commitdiff | tree |
2020-08-22 |
Cesar Strauss | Move comments to the docstring
|
commit | commitdiff | tree |
2020-08-22 |
Cesar Strauss | Walk the DOM and emit the trace names
|
commit | commitdiff | tree |
2020-08-22 |
Cesar Strauss | First draft of a mini-language to describe GTKWave...
|
commit | commitdiff | tree |
2020-08-15 |
Cesar Strauss | Demonstrates string traces
|
commit | commitdiff | tree |
2020-08-15 |
Cesar Strauss | Demonstrates adding extra debug signals traces to the...
|
commit | commitdiff | tree |
2020-08-15 |
Cesar Strauss | Demonstrates creating stylish GTKWave "save" files...
|
commit | commitdiff | tree |
2020-07-20 |
Cesar Strauss | Document the move of sdir from data_i to op.
|
commit | commitdiff | tree |
2020-07-20 |
Cesar Strauss | Remove extra yield from test case.
|
commit | commitdiff | tree |
2020-07-19 |
Cesar Strauss | Implement control path and unit test.
|
commit | commitdiff | tree |
2020-07-18 |
Cesar Strauss | Implement the Shifter data path
|
commit | commitdiff | tree |
2020-07-18 |
Cesar Strauss | Document move of the next port data
|
commit | commitdiff | tree |
2020-07-09 |
Cesar Strauss | Define ports for a simple sequential Shifter
|
commit | commitdiff | tree |
2020-07-08 |
Cesar Strauss | Start the FSM-based ALU example.
|
commit | commitdiff | tree |
2020-07-07 |
Cesar Strauss | Clear input data along with valid_i
|
commit | commitdiff | tree |
2020-07-06 |
Cesar Strauss | Assert n.ready_i at the beginning of the cycle
|
commit | commitdiff | tree |
2020-07-06 |
Cesar Strauss | Remove wait state to demonstrate zero-delay reception.
|
commit | commitdiff | tree |
2020-07-06 |
Cesar Strauss | Simplify waiting loops
|
commit | commitdiff | tree |
2020-07-06 |
Cesar Strauss | Finally add some well needed comments
|
commit | commitdiff | tree |
2020-07-06 |
Cesar Strauss | Simplify waiting loops
|
commit | commitdiff | tree |
2020-07-06 |
Cesar Strauss | Add some wait states in each process
|
commit | commitdiff | tree |
2020-07-06 |
Cesar Strauss | Negate inputs after use
|
commit | commitdiff | tree |
2020-07-06 |
Cesar Strauss | Add other tests
|
commit | commitdiff | tree |
2020-07-06 |
Cesar Strauss | Implement receiver
|
commit | commitdiff | tree |
2020-07-06 |
Cesar Strauss | Implement sender.
|
commit | commitdiff | tree |
2020-07-06 |
Cesar Strauss | Begin a new parallel test
|
commit | commitdiff | tree |
2020-07-02 |
Cesar Strauss | Present the ALU result only when valid_o is active
|
commit | commitdiff | tree |
2020-06-28 |
Cesar Strauss | Start with a simpler test case
|
commit | commitdiff | tree |
2020-06-28 |
Cesar Strauss | Let p.ready_o be active while the test ALU is idle
|
commit | commitdiff | tree |
2020-06-28 |
Cesar Strauss | Add missing ports to the test ALU
|
commit | commitdiff | tree |
2020-06-13 |
Cesar Strauss | Wait for all active rel signals to be high, and only...
|
commit | commitdiff | tree |
2020-06-09 |
Cesar Strauss | Keep the sequencer in the "done" state until ready_i...
|
commit | commitdiff | tree |
2020-06-09 |
Cesar Strauss | Avoid a combinatorial loop on valid_o
|
commit | commitdiff | tree |
2020-06-07 |
Cesar Strauss | Assign the one-clock delay operation from ADD to SHR
|
commit | commitdiff | tree |
2020-06-07 |
Cesar Strauss | Try responding with ready_i on the same cycle as valid_o
|
commit | commitdiff | tree |
2020-06-07 |
Cesar Strauss | Assert valid_o one clock early, as alu_done is asserted
|
commit | commitdiff | tree |
2020-06-07 |
Cesar Strauss | Make the test ALU conform to the valid/ready protocol
|
commit | commitdiff | tree |
2020-06-03 |
Cesar Strauss | Check completion of the sub-processes
|
commit | commitdiff | tree |
2020-06-03 |
Cesar Strauss | Simplify immediate check
|
commit | commitdiff | tree |
2020-06-03 |
Cesar Strauss | Preliminary check of the alu protocol
|
commit | commitdiff | tree |
2020-06-03 |
Cesar Strauss | Pass along the operand, in the cycle in which go is...
|
commit | commitdiff | tree |
2020-06-02 |
Cesar Strauss | Allow at least one operand to be fetched
|
commit | commitdiff | tree |
2020-06-02 |
Cesar Strauss | Hold rdmaskn active during the busy_o cycle
|
commit | commitdiff | tree |
2020-06-01 |
Cesar Strauss | Add rdmaskn parameter and assert it along issue_i
|
commit | commitdiff | tree |
2020-05-29 |
Cesar Strauss | Allow immediate assertion of go in the same cycle as rel
|
commit | commitdiff | tree |
2020-05-29 |
Cesar Strauss | Correct typo
|
commit | commitdiff | tree |
2020-05-29 |
Cesar Strauss | Send a one-clock "go" pulse after a configurable number...
|
commit | commitdiff | tree |
2020-05-28 |
Cesar Strauss | Check that rd rises after issue_i, unless it's immediate
|
commit | commitdiff | tree |
2020-05-28 |
Cesar Strauss | Store and present parameters together with issue_i
|
commit | commitdiff | tree |
2020-05-27 |
Cesar Strauss | Move test case parameters to an "operation" member...
|
commit | commitdiff | tree |
2020-05-27 |
Cesar Strauss | Remove the monitor process
|
commit | commitdiff | tree |
2020-05-25 |
Cesar Strauss | Check that busy_o doesn't rise on its own
|
commit | commitdiff | tree |
2020-05-25 |
Cesar Strauss | Implement the issue_i/busy_o protocol check.
|
commit | commitdiff | tree |
2020-05-25 |
Cesar Strauss | Move process list to CompUnitParallelTest
|
commit | commitdiff | tree |
2020-05-25 |
Cesar Strauss | Fix detection of busy_o inside the monitor process
|
commit | commitdiff | tree |
2020-05-25 |
Cesar Strauss | Proof of concept of a parallel test
|
commit | commitdiff | tree |
2020-05-25 |
Cesar Strauss | Show oper_r and oper_i in the signal list, in simulation
|
commit | commitdiff | tree |
2020-05-24 |
Cesar Strauss | Avoid overwriting the first vcd file with the second one
|
commit | commitdiff | tree |
2020-05-24 |
Cesar Strauss | Rename the internal DFF of latchregisters to avoid...
|
commit | commitdiff | tree |
2020-05-23 |
Cesar Strauss | Add a few test cases with zero_a set, in combination...
|
commit | commitdiff | tree |
2020-05-23 |
Cesar Strauss | Allow zero_a to be set when simulating an operation
|
commit | commitdiff | tree |
2020-05-23 |
Cesar Strauss | Choose between RA (src1) and zero immediate, conditioned...
|
commit | commitdiff | tree |
2020-05-21 |
Cesar Strauss | Fixed typo and left-over from refactoring
|
commit | commitdiff | tree |
|