2023-01-01 Cesar StraussHandle newer nMigen adding a "bench" hierarchy root... master
2022-11-15 Cesar StraussKeep the valid signal from the formal engine ALU stable...
2022-10-28 Cesar StraussCheck that exactly one ALU write is made, per instruction
2022-10-28 Cesar StraussCheck cover and bmc in separate sub-tests
2022-10-26 Cesar StraussReset req_l latch on system reset
2022-10-26 Cesar StraussReset src_l latch on issue_i
2022-10-24 Luke Kenneth... only NLnet sponsor
2022-10-16 Cesar StraussMove test to expose bug in MultiCompUnit
2022-10-12 Cesar StraussCheck invariant for instruction operands
2022-10-12 Cesar StraussIf the ALU is idle, do not assert valid
2022-10-09 Cesar StraussCount zero_a and imm_data.ok as masked read transactions
2022-10-09 Cesar StraussDon't issue while busy
2022-10-08 Cesar StraussAdd count of masked reads
2022-10-08 Cesar StraussAdd ALU read transaction counter
2022-10-08 Cesar StraussAdd ALU write transaction counter
2022-10-08 Cesar StraussAdd write transaction counter
2022-10-05 Cesar StraussFix duplicate line (copy & paste error)
2022-10-01 Cesar StraussAdd counter for operand reads
2022-10-01 Cesar StraussAvoid toggling go_i when rel_o is low
2022-10-01 Cesar StraussLeave shadow / die proof for last
2022-10-01 Cesar StraussStart of formal proof of MultiCompUnit
2022-08-16 Jacob Lifshaychange goldschmidt_div_sqrt to use nmutil.plain_data...
2022-08-14 Luke Kenneth... grr not a yield function
2022-08-14 Luke Kenneth... add get_fpregs stub function to HDLstate
2022-07-06 Luke Kenneth... update pinmux submodule, rename to "fabric"
2022-07-06 Luke Kenneth... add fabric compatibility mode
2022-07-05 Luke Kenneth... MulOutputData was only 64-bit output not 128-bit
2022-07-04 Luke Kenneth... add signal for resetting trap internal state (kaivb...
2022-07-04 Luke Kenneth... set not msr_o Record in trap
2022-06-26 Luke Kenneth... adapt TRAP function in main state pipeline to put KAIVB
2022-06-26 Luke Kenneth... store KAIVB SPR 850 in TRAP Pipeline
2022-06-26 Luke Kenneth... reduce icache/dcache TLB sizes
2022-06-26 Luke Kenneth... update trap to use up-to-date test...
2022-06-26 Luke Kenneth... missing module argument to TestRunner execute
2022-06-26 Luke Kenneth... convert trap to consistent format
2022-05-23 Andrey MiroshnikovChange usage of WB sel for individual control
2022-05-01 Luke Kenneth... split out front of div into separate stage, still too...
2022-04-30 Luke Kenneth... add missing module
2022-04-30 Luke Kenneth... split off CR0/XER production in DIV Function Unit into...
2022-04-30 Luke Kenneth... clear out DEC in core.cur_state.dec due to spurious...
2022-04-30 Cesar StraussImplement transparent read port option on the XOR wrapp...
2022-04-29 Jacob Lifshayfix waay-too-precise error requirements
2022-04-29 Luke Kenneth... add option to set small cache sizes in
2022-04-29 Jacob Lifshayadd comment
2022-04-29 Jacob Lifshayfix so HDL works for 5, 8, 16, 32, and 64-bits.
2022-04-29 Jacob LifshayHDL works for io_width=5
2022-04-28 Cesar StraussTest simultaneous transparent reads and partial writes
2022-04-28 Jacob Lifshayadd docs for clz
2022-04-28 Jacob Lifshayadd WIP HDL version of goldschmidt division -- it's...
2022-04-28 Luke Kenneth... notes added to - absolute paranoia is needed on
2022-04-28 Jacob Lifshaymove GoldschmidtDivState
2022-04-28 Jacob Lifshayadd FIXME comments
2022-04-28 Jacob Lifshayadd the goldschmidt sqrt/rsqrt algorithm, still need...
2022-04-27 Jacob Lifshayswitch cached-property dependency to using libre-soc...
2022-04-27 Jacob Lifshayimproved goldschmidt division algorithm parameter optim...
2022-04-27 Jacob Lifshaysplit out non-derived params into separate class withou...
2022-04-27 Jacob Lifshaysplit out n_hat as separate property
2022-04-27 Jacob Lifshayadd default_cost_fn
2022-04-27 Jacob Lifshaymove GoldschmidtDivParams.get to bottom of class
2022-04-27 Jacob Lifshayrename _goldschmidt_div_ops to GoldschmidtDivState...
2022-04-26 Jacob Lifshaygoldschmidt division works! still needs better paramete...
2022-04-26 Jacob Lifshayfix goofed file name
2022-04-25 Jacob Lifshayworking on
2022-04-25 Jacob Lifshayadd cached_property dependency
2022-04-23 Jacob Lifshayworking on goldschmidt division algorithm
2022-04-22 Luke Kenneth... whitespace
2022-04-22 Jacob Lifshayadd WIP goldschmidt division algorithm
2022-04-17 Cesar StraussImplement a 1W/1R register file, XOR style
2022-04-17 Cesar StraussFormal proof of pseudo 1W/2R SRAM
2022-04-17 Cesar StraussAdd transparent option for the full read port
2022-04-17 Cesar StraussImplement a pseudo 1W/2R memory
2022-04-16 Luke Kenneth... reduce dcache/icache number of ways, to fit into ECP5...
2022-04-16 Tobias Platenpart two of issuer_fix: read pspec.microwatt_old and...
2022-04-16 Cesar StraussCheck non-transparent 1W/1R SRAM wrapper
2022-04-16 Cesar StraussEnable read port for non-transparent memories
2022-04-16 Tobias PlatenMerge ssh://
2022-04-16 Tobias Platenpart one of issuer_fix: add parameter to
2022-04-16 Cesar StraussAdd port declarations to the SRAM wrappers
2022-04-16 Cesar StraussChange write lane signal from one-hot to binary
2022-04-16 Luke Kenneth... whoops, WBASyncBridge ack signal not wired up!
2022-04-16 Luke Kenneth... select width is data_width // data granularity.
2022-04-16 Cesar StraussSynchronize LVT state, completing the induction proof
2022-04-16 Cesar StraussSync proof state with downstream memories
2022-04-16 Luke Kenneth... put the old microwatt compatibility back
2022-04-16 Luke Kenneth... blegh.
2022-04-15 Cesar StraussComplete moving the induction support into the DUT
2022-04-15 Cesar StraussFix incorrect signal widths
2022-04-15 Cesar StraussMove part of formal proof to the implementation
2022-04-14 Luke Kenneth... add option Spec to XICS ICP/ICS to be able to activate...
2022-04-14 Luke Kenneth... move IRQLine out because that makes soc dependent on...
2022-04-14 Luke Kenneth... 80 char limit, remove creation of stall from ack/cyc...
2022-04-14 Raptor Engineering... wb_async: Allow different feature fields for master...
2022-04-14 Raptor Engineering... Add separate memory clock register to SYSCON
2022-04-12 Tobias add microwatt_old and microwatt_debug options
2022-04-11 Raptor Engineering... Separate core and nest clocks in Microwatt SYSCON
2022-04-11 Raptor Engineering... Add initial wrapper for Wishbone asynchronous bridge...
2022-04-10 Cesar StraussBegin a formal proof of the LVT-based 1W/1R wrapper
2022-04-10 Cesar StraussImplement 1W/1R with a transparent (or not) read port.
2022-04-10 Cesar StraussImplement a true 1W/1R memory from 1RW blocks
2022-04-09 Luke Kenneth... add a new make target for setting coldboot firmware...