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

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

RSS Atom