projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / src /
2023-11-05 Cesar StraussAllow the formal engine to perform a same-cycle result... master tree | commitdiff
2023-09-12 Jacob Lifshayremove grev, leaving tests for later use with grevlut tree | commitdiff
2023-09-12 Jacob Lifshayskip test_microwatt.BinaryTestCase.test_binary if file... tree | commitdiff
2023-09-11 Jacob Lifshayskip madd* tests since they're not implemented tree | commitdiff
2023-09-11 Jacob LifshayMASK was moved into ISACallerHelper class tree | commitdiff
2023-09-11 Jacob Lifshayset parent pspec to class with XLEN = 64 tree | commitdiff
2023-09-11 Jacob Lifshayset 'soc' filter to filter out v3.1 insns tree | commitdiff
2023-09-11 Jacob Lifshayfix ALU test by setting 'soc' filter to filter out... tree | commitdiff
2023-09-11 Jacob Lifshaymark src/soc/experiment/test/test_compldst_multi.py... tree | commitdiff
2023-09-11 Jacob Lifshaymark test_pi2ls.py as broken tree | commitdiff
2023-07-27 Andrey MiroshnikovMakefile: Added rule for generating mw-compatible core... tree | commitdiff
2023-01-01 Cesar StraussHandle newer nMigen adding a "bench" hierarchy root... tree | commitdiff
2022-11-15 Cesar StraussKeep the valid signal from the formal engine ALU stable... tree | commitdiff
2022-10-28 Cesar StraussCheck that exactly one ALU write is made, per instruction tree | commitdiff
2022-10-28 Cesar StraussCheck cover and bmc in separate sub-tests tree | commitdiff
2022-10-26 Cesar StraussReset req_l latch on system reset tree | commitdiff
2022-10-26 Cesar StraussReset src_l latch on issue_i tree | commitdiff
2022-10-24 Luke Kenneth Casso... only NLnet sponsor tree | commitdiff
2022-10-16 Cesar StraussMove test to expose bug in MultiCompUnit tree | commitdiff
2022-10-12 Cesar StraussCheck invariant for instruction operands tree | commitdiff
2022-10-12 Cesar StraussIf the ALU is idle, do not assert valid tree | commitdiff
2022-10-09 Cesar StraussCount zero_a and imm_data.ok as masked read transactions tree | commitdiff
2022-10-09 Cesar StraussDon't issue while busy tree | commitdiff
2022-10-08 Cesar StraussAdd count of masked reads tree | commitdiff
2022-10-08 Cesar StraussAdd ALU read transaction counter tree | commitdiff
2022-10-08 Cesar StraussAdd ALU write transaction counter tree | commitdiff
2022-10-08 Cesar StraussAdd write transaction counter tree | commitdiff
2022-10-05 Cesar StraussFix duplicate line (copy & paste error) tree | commitdiff
2022-10-01 Cesar StraussAdd counter for operand reads tree | commitdiff
2022-10-01 Cesar StraussAvoid toggling go_i when rel_o is low tree | commitdiff
2022-10-01 Cesar StraussLeave shadow / die proof for last tree | commitdiff
2022-10-01 Cesar StraussStart of formal proof of MultiCompUnit tree | commitdiff
2022-08-16 Jacob Lifshaychange goldschmidt_div_sqrt to use nmutil.plain_data... tree | commitdiff
2022-08-14 Luke Kenneth Casso... grr not a yield function tree | commitdiff
2022-08-14 Luke Kenneth Casso... add get_fpregs stub function to HDLstate tree | commitdiff
2022-07-06 Luke Kenneth Casso... update pinmux submodule, rename to "fabric" tree | commitdiff
2022-07-06 Luke Kenneth Casso... add fabric compatibility mode tree | commitdiff
2022-07-05 Luke Kenneth Casso... MulOutputData was only 64-bit output not 128-bit tree | commitdiff
2022-07-04 Luke Kenneth Casso... add signal for resetting trap internal state (kaivb... tree | commitdiff
2022-07-04 Luke Kenneth Casso... set msr_o.data not msr_o Record in trap main_stage.py tree | commitdiff
2022-06-26 Luke Kenneth Casso... adapt TRAP function in main state pipeline to put KAIVB tree | commitdiff
2022-06-26 Luke Kenneth Casso... store KAIVB SPR 850 in TRAP Pipeline tree | commitdiff
2022-06-26 Luke Kenneth Casso... reduce icache/dcache TLB sizes tree | commitdiff
2022-06-26 Luke Kenneth Casso... update trap test_pipe_caller.py to use up-to-date test... tree | commitdiff
2022-06-26 Luke Kenneth Casso... missing module argument to TestRunner execute tree | commitdiff
2022-06-26 Luke Kenneth Casso... convert trap test_pipe_caller.py to consistent format tree | commitdiff
2022-05-23 Andrey MiroshnikovChange usage of WB sel for individual control tree | commitdiff
2022-05-01 Luke Kenneth Casso... split out front of div into separate stage, still too... tree | commitdiff
2022-04-30 Luke Kenneth Casso... add missing module tree | commitdiff
2022-04-30 Luke Kenneth Casso... split off CR0/XER production in DIV Function Unit into... tree | commitdiff
2022-04-30 Luke Kenneth Casso... clear out DEC in core.cur_state.dec due to spurious... tree | commitdiff
2022-04-30 Cesar StraussImplement transparent read port option on the XOR wrapp... tree | commitdiff
2022-04-29 Jacob Lifshayfix waay-too-precise error requirements tree | commitdiff
2022-04-29 Luke Kenneth Casso... add option to set small cache sizes in tree | commitdiff
2022-04-29 Jacob Lifshayadd comment tree | commitdiff
2022-04-29 Jacob Lifshayfix so HDL works for 5, 8, 16, 32, and 64-bits. tree | commitdiff
2022-04-29 Jacob LifshayHDL works for io_width=5 tree | commitdiff
2022-04-28 Cesar StraussTest simultaneous transparent reads and partial writes tree | commitdiff
2022-04-28 Jacob Lifshayadd docs for clz tree | commitdiff
2022-04-28 Jacob Lifshayadd WIP HDL version of goldschmidt division -- it's... tree | commitdiff
2022-04-28 Jacob Lifshaymove GoldschmidtDivState tree | commitdiff
2022-04-28 Jacob Lifshayadd FIXME comments tree | commitdiff
2022-04-28 Jacob Lifshayadd the goldschmidt sqrt/rsqrt algorithm, still need... tree | commitdiff
2022-04-27 Jacob Lifshayimproved goldschmidt division algorithm parameter optim... tree | commitdiff
2022-04-27 Jacob Lifshaysplit out non-derived params into separate class withou... tree | commitdiff
2022-04-27 Jacob Lifshaysplit out n_hat as separate property tree | commitdiff
2022-04-27 Jacob Lifshayadd default_cost_fn tree | commitdiff
2022-04-27 Jacob Lifshaymove GoldschmidtDivParams.get to bottom of class tree | commitdiff
2022-04-27 Jacob Lifshayrename _goldschmidt_div_ops to GoldschmidtDivState... tree | commitdiff
2022-04-26 Jacob Lifshaygoldschmidt division works! still needs better paramete... tree | commitdiff
2022-04-26 Jacob Lifshayfix goofed __init__.py file name tree | commitdiff
2022-04-25 Jacob Lifshayworking on goldschmidt_div_sqrt.py tree | commitdiff
2022-04-23 Jacob Lifshayworking on goldschmidt division algorithm tree | commitdiff
2022-04-22 Luke Kenneth Casso... whitespace tree | commitdiff
2022-04-22 Jacob Lifshayadd WIP goldschmidt division algorithm tree | commitdiff
2022-04-17 Cesar StraussImplement a 1W/1R register file, XOR style tree | commitdiff
2022-04-17 Cesar StraussFormal proof of pseudo 1W/2R SRAM tree | commitdiff
2022-04-17 Cesar StraussAdd transparent option for the full read port tree | commitdiff
2022-04-17 Cesar StraussImplement a pseudo 1W/2R memory tree | commitdiff
2022-04-16 Luke Kenneth Casso... reduce dcache/icache number of ways, to fit into ECP5... tree | commitdiff
2022-04-16 Tobias Platenpart two of issuer_fix: read pspec.microwatt_old and... tree | commitdiff
2022-04-16 Cesar StraussCheck non-transparent 1W/1R SRAM wrapper tree | commitdiff
2022-04-16 Cesar StraussEnable read port for non-transparent memories tree | commitdiff
2022-04-16 Tobias PlatenMerge ssh://git.libre-riscv.org:922/soc tree | commitdiff
2022-04-16 Tobias Platenpart one of issuer_fix: add parameter to issuer_verilog.py tree | commitdiff
2022-04-16 Cesar StraussAdd port declarations to the SRAM wrappers tree | commitdiff
2022-04-16 Cesar StraussChange write lane signal from one-hot to binary tree | commitdiff
2022-04-16 Luke Kenneth Casso... whoops, WBASyncBridge ack signal not wired up! tree | commitdiff
2022-04-16 Luke Kenneth Casso... select width is data_width // data granularity. tree | commitdiff
2022-04-16 Cesar StraussSynchronize LVT state, completing the induction proof tree | commitdiff
2022-04-16 Cesar StraussSync proof state with downstream memories tree | commitdiff
2022-04-16 Luke Kenneth Casso... put the old microwatt compatibility back tree | commitdiff
2022-04-16 Luke Kenneth Casso... blegh. tree | commitdiff
2022-04-15 Cesar StraussComplete moving the induction support into the DUT tree | commitdiff
2022-04-15 Cesar StraussFix incorrect signal widths tree | commitdiff
2022-04-15 Cesar StraussMove part of formal proof to the implementation tree | commitdiff
2022-04-14 Luke Kenneth Casso... add option Spec to XICS ICP/ICS to be able to activate... tree | commitdiff
2022-04-14 Luke Kenneth Casso... move IRQLine out because that makes soc dependent on... tree | commitdiff
2022-04-14 Luke Kenneth Casso... 80 char limit, remove creation of stall from ack/cyc... tree | commitdiff
2022-04-14 Raptor Engineering... wb_async: Allow different feature fields for master... tree | commitdiff
next