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

2021-02-26	Cesar Strauss	Add a vector case with VL == 0	commit \| commitdiff \| tree
2021-02-26	Cesar Strauss	Implement a decode/issue FSM between fetch and execute	commit \| commitdiff \| tree
2021-02-22	Cesar Strauss	Fix typo when calculating PowerDecoder2.no_out_vec	commit \| commitdiff \| tree
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
next

RSS Atom