projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add copy of bpermd proof to logical formal proof (not nice but hey)
[soc.git] / src /
2020-05-24 Luke Kenneth Casso... add copy of bpermd proof to logical formal proof (not... tree | commitdiff
2020-05-24 Luke Kenneth Casso... track down overwrite of variable b tree | commitdiff
2020-05-24 Michael NolanFix proof of bpermd module tree | commitdiff
2020-05-24 Michael NolanFix bpermd and make tests pass tree | commitdiff
2020-05-24 Michael NolanFix test_pipe_caller to conform to new Data() interface... tree | commitdiff
2020-05-24 Luke Kenneth Casso... add stub regfiles.py tree | commitdiff
2020-05-24 Luke Kenneth Casso... hmm... tree | commitdiff
2020-05-24 Luke Kenneth Casso... add very rapid DummyALU for test purposes in MultiCompUnit tree | commitdiff
2020-05-24 Luke Kenneth Casso... comments on branch pipeline tree | commitdiff
2020-05-24 Luke Kenneth Casso... convert CR pipeline to Data.ok tree | commitdiff
2020-05-24 Luke Kenneth Casso... convert ALU to output Data on int reg tree | commitdiff
2020-05-24 Luke Kenneth Casso... convert logical to output Data on int reg tree | commitdiff
2020-05-24 Luke Kenneth Casso... start using Data in pipelines tree | commitdiff
2020-05-24 Luke Kenneth Casso... cleanup/code-munge on ALU main stage proof tree | commitdiff
2020-05-24 Luke Kenneth Casso... error in alu output stage formal proof setup tree | commitdiff
2020-05-24 Luke Kenneth Casso... output registers need to be Data type (consistently) tree | commitdiff
2020-05-24 Luke Kenneth Casso... spelling mistake in variable tree | commitdiff
2020-05-24 Luke Kenneth Casso... TODO mention OP_MTMSR/OP_MFMSR tree | commitdiff
2020-05-24 Luke Kenneth Casso... add RA to trap pipeline, for OP_MTMSR/OP_MFMSR tree | commitdiff
2020-05-24 Luke Kenneth Casso... move docstring to wiki for compunit tree | commitdiff
2020-05-23 colepoirierAdded branch and shift_rot imports to fu/compunits... tree | commitdiff
2020-05-23 Cesar StraussAdd a few test cases with zero_a set, in combination... tree | commitdiff
2020-05-23 Cesar StraussAllow zero_a to be set when simulating an operation tree | commitdiff
2020-05-23 Luke Kenneth Casso... add input / output stage missing modules tree | commitdiff
2020-05-23 Luke Kenneth Casso... common function for op zero and op immed tree | commitdiff
2020-05-23 Cesar StraussChoose between RA (src1) and zero immediate, conditione... tree | commitdiff
2020-05-23 Luke Kenneth Casso... update docs on compunits tree | commitdiff
2020-05-23 Luke Kenneth Casso... remove extraneous test_isel tree | commitdiff
2020-05-23 Luke Kenneth Casso... add comments tree | commitdiff
2020-05-23 Luke Kenneth Casso... document purpose of regspec module tree | commitdiff
2020-05-23 Luke Kenneth Casso... split out RegSpecs into separate module tree | commitdiff
2020-05-23 Luke Kenneth Casso... add TODO on multi-in multi-out Function Units tree | commitdiff
2020-05-23 Luke Kenneth Casso... split out RegSpec API into separate class (TODO: move... tree | commitdiff
2020-05-23 Luke Kenneth Casso... add notes on FunctionUnit API tree | commitdiff
2020-05-23 Luke Kenneth Casso... make MultiCompUnit and testing ALU use regspec API... tree | commitdiff
2020-05-23 Luke Kenneth Casso... remove unneeded imports tree | commitdiff
2020-05-23 Luke Kenneth Casso... make demo/test ALU look like nmigen pipeline API tree | commitdiff
2020-05-23 Luke Kenneth Casso... add stub DataMerger class tree | commitdiff
2020-05-23 Luke Kenneth Casso... add link to regspecs on wiki tree | commitdiff
2020-05-23 Luke Kenneth Casso... add regspec capability to MultiCompUnit tree | commitdiff
2020-05-23 Michael NolanModify proof of isel to use full CR register tree | commitdiff
2020-05-23 Michael NolanAdd test_isel tree | commitdiff
2020-05-23 Luke Kenneth Casso... make immediate-or-RA selection optional based on awaren... tree | commitdiff
2020-05-23 Luke Kenneth Casso... start to morph MultiCompUnit to take "regspec" as the... tree | commitdiff
2020-05-23 Luke Kenneth Casso... add CR_ISEL formal proof to CR pipeline tree | commitdiff
2020-05-23 Luke Kenneth Casso... add CR_ISEL (and unit test) to CR pipeline tree | commitdiff
2020-05-23 Luke Kenneth Casso... select bits 2:5 from BC to get CR0 to 7 in DecodeCRin tree | commitdiff
2020-05-23 Luke Kenneth Casso... add gitignore tree | commitdiff
2020-05-23 Luke Kenneth Casso... CR field on Br input data is specd as 0:3 range tree | commitdiff
2020-05-23 Luke Kenneth Casso... add b to CR pipe input data, for isel tree | commitdiff
2020-05-22 Luke Kenneth Casso... add TODO and link to SHIFT_ROT formal bugreport tree | commitdiff
2020-05-22 Luke Kenneth Casso... remove xer.so from ShiftRot formal proof tree | commitdiff
2020-05-22 Luke Kenneth Casso... remove sticky overflow from Shift Rot pipeline tree | commitdiff
2020-05-22 Luke Kenneth Casso... test branch ctr ok flag tree | commitdiff
2020-05-22 Luke Kenneth Casso... cleaner way to test link register ok tree | commitdiff
2020-05-22 Luke Kenneth Casso... whitespace tree | commitdiff
2020-05-22 Michael NolanFix link handling in branch proof tree | commitdiff
2020-05-22 Luke Kenneth Casso... variable-name munging for branch formal tree | commitdiff
2020-05-22 Michael NolanAdd formal proof for branch unit, fix bug with bcreg tree | commitdiff
2020-05-22 Luke Kenneth Casso... cleanup logical pipe formal proof tree | commitdiff
2020-05-22 Luke Kenneth Casso... split out Logical Input and Output stages to common... tree | commitdiff
2020-05-22 Luke Kenneth Casso... div probably uses ALU not Logical, needs double-checkin... tree | commitdiff
2020-05-22 Luke Kenneth Casso... update comments for ALUCompUnit tree | commitdiff
2020-05-22 Luke Kenneth Casso... soc.fu.logical.input_stage no different from ALU: delete tree | commitdiff
2020-05-22 Luke Kenneth Casso... covert ALU FU to CommonInputStage tree | commitdiff
2020-05-22 Luke Kenneth Casso... create common input pipe spec to avoid code-duplication tree | commitdiff
2020-05-22 Luke Kenneth Casso... move CR over to CompCROpSubset tree | commitdiff
2020-05-22 Michael NolanConvert branch unit to new CR interface tree | commitdiff
2020-05-22 Michael NolanComplete CR proof tree | commitdiff
2020-05-22 Luke Kenneth Casso... increase fu-fu test matrix size tree | commitdiff
2020-05-22 Luke Kenneth Casso... remove unneeded code tree | commitdiff
2020-05-22 Luke Kenneth Casso... rename ShiftRot to Mul in fu mul test tree | commitdiff
2020-05-22 Luke Kenneth Casso... rename Logical to Div in fu div test tree | commitdiff
2020-05-22 Luke Kenneth Casso... cookie-cut start on div pipe tree | commitdiff
2020-05-22 Luke Kenneth Casso... add cookie-cut mul pipeline template tree | commitdiff
2020-05-22 Luke Kenneth Casso... whitespace tree | commitdiff
2020-05-22 Luke Kenneth Casso... over 80 chars tree | commitdiff
2020-05-22 Luke Kenneth Casso... comment tidyup tree | commitdiff
2020-05-22 Luke Kenneth Casso... use CompBROpSubset and reduce it down in size (remove... tree | commitdiff
2020-05-22 Luke Kenneth Casso... code-shuffle tree | commitdiff
2020-05-22 Luke Kenneth Casso... remove accidentally added branch input stage tree | commitdiff
2020-05-22 Tobias Platenfix ModuleNotFoundError tree | commitdiff
2020-05-21 Luke Kenneth Casso... add fu logical_input_record.py tree | commitdiff
2020-05-21 Luke Kenneth Casso... update CROutputData to use Data() tree | commitdiff
2020-05-21 Luke Kenneth Casso... update comments tree | commitdiff
2020-05-21 Luke Kenneth Casso... whitespace cleanup tree | commitdiff
2020-05-21 Luke Kenneth Casso... whitespace cleanup tree | commitdiff
2020-05-21 Luke Kenneth Casso... remove input_cr, output_cr and is_32bit from CompCROpSubset tree | commitdiff
2020-05-21 Luke Kenneth Casso... add read_cr_whole and write_cr_whole to CompCROpSubset tree | commitdiff
2020-05-21 Luke Kenneth Casso... add first cut at cr_input_record.py tree | commitdiff
2020-05-21 Luke Kenneth Casso... move Logical over to use CompLogicalOpSubset tree | commitdiff
2020-05-21 Michael NolanPartial attempt at proving the new cr unit. tree | commitdiff
2020-05-21 Luke Kenneth Casso... argh syntax error tree | commitdiff
2020-05-21 Luke Kenneth Casso... update and comment CR Input/Output Data specs tree | commitdiff
2020-05-21 Michael NolanAll CR tests now working tree | commitdiff
2020-05-21 Luke Kenneth Casso... add CR out decoder debug tree | commitdiff
2020-05-21 Michael NolanOP_CROP now working tree | commitdiff
2020-05-21 Michael NolanBegin porting cr pipeline to new interface tree | commitdiff
2020-05-21 Michael NolanAdd third cr register select field to decoder tree | commitdiff
2020-05-21 Luke Kenneth Casso... comment CompALUOpSubset, data_len is actually used... tree | commitdiff
next