projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
rename regspecs to give a consistent naming scheme
[soc.git] / src / soc / fu / cr /
2020-06-02 Luke Kenneth Casso... rename regspecs to give a consistent naming scheme tree | commitdiff
2020-06-01 Luke Kenneth Casso... remove reading port 3 for CR pipeline. RS moved to... tree | commitdiff
2020-06-01 Luke Kenneth Casso... okaaay add a "rdflags" function which obtains the yes... tree | commitdiff
2020-06-01 Luke Kenneth Casso... whoops need to read RS in CR inputs test tree | commitdiff
2020-06-01 Luke Kenneth Casso... remove unneeded code tree | commitdiff
2020-05-28 Michael NolanAdd proof for OP_SETB tree | commitdiff
2020-05-28 Michael NolanAdd OP_SETB tree | commitdiff
2020-05-28 Michael NolanFix test_isel to properly examine registers tree | commitdiff
2020-05-27 Luke Kenneth Casso... rename CROutputData.cr_o to just CROutputData.cr tree | commitdiff
2020-05-27 Luke Kenneth Casso... test Data.ok for cr output and full cr output tree | commitdiff
2020-05-27 Luke Kenneth Casso... assign and test on Data, TODO add Data.ok checking... tree | commitdiff
2020-05-24 Luke Kenneth Casso... add test of reg output, for MFCRF and ISEL tree | commitdiff
2020-05-24 Luke Kenneth Casso... convert CR pipeline to Data.ok tree | commitdiff
2020-05-24 Luke Kenneth Casso... output registers need to be Data type (consistently) tree | commitdiff
2020-05-23 Luke Kenneth Casso... remove extraneous test_isel tree | commitdiff
2020-05-23 Luke Kenneth Casso... remove unneeded imports tree | commitdiff
2020-05-23 Luke Kenneth Casso... add link to regspecs on wiki 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... 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... add b to CR pipe input data, for isel tree | commitdiff
2020-05-22 Luke Kenneth Casso... move CR over to CompCROpSubset tree | commitdiff
2020-05-22 Michael NolanComplete CR proof 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 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 Michael NolanOP_CROP now working tree | commitdiff
2020-05-21 Michael NolanBegin porting cr pipeline to new interface tree | commitdiff
2020-05-21 Luke Kenneth Casso... move common functionality between PipeSpecs to soc... tree | commitdiff
2020-05-21 Luke Kenneth Casso... move FU IntegerData to directory below tree | commitdiff
2020-05-21 Luke Kenneth Casso... convert to individual PipeSpecs for each pipeline tree | commitdiff
2020-05-20 Michael NolanAdd proof for OP_MCRF tree | commitdiff
2020-05-20 Michael NolanAdd proof for OP_MFCR tree | commitdiff
2020-05-20 Michael NolanRevert "*technically* don't use a full crossbar" tree | commitdiff
2020-05-20 Luke Kenneth Casso... add link to bugreport in CR pipe formal test tree | commitdiff
2020-05-20 Michael Nolan*technically* don't use a full crossbar tree | commitdiff
2020-05-20 Michael NolanRevert "assign index to temporary" tree | commitdiff
2020-05-20 Michael NolanAdd proof for OP_CROP tree | commitdiff
2020-05-20 Luke Kenneth Casso... go back to not using LUT in CR pipe tree | commitdiff
2020-05-20 Luke Kenneth Casso... assign index to temporary tree | commitdiff
2020-05-20 Luke Kenneth Casso... store CR lut result in temporary tree | commitdiff
2020-05-20 Michael NolanBegin adding CR proof tree | commitdiff
2020-05-20 Michael NolanFix small bug in op_crop tree | commitdiff
2020-05-20 Luke Kenneth Casso... add register specs to pipeline in/out so that they... tree | commitdiff
2020-05-20 Luke Kenneth Casso... damn. assigning to temporary signals may turn out... tree | commitdiff
2020-05-20 Luke Kenneth Casso... ehn? moo? CR test_pipe_caller locks up 100% CPU on... tree | commitdiff
2020-05-20 Luke Kenneth Casso... munge / simplify code tree | commitdiff
2020-05-18 Luke Kenneth Casso... mass-rename of modules to soc.fu.* tree | commitdiff
2020-05-18 Luke Kenneth Casso... rename pipe to fu tree | commitdiff