git.libre-soc.org Git - soc.git/search

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
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
next

RSS Atom