projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
convert logical to output Data on int reg
[soc.git] / src / soc / fu /
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-23 colepoirierAdded branch and shift_rot imports to fu/compunits... tree | commitdiff
2020-05-23 Luke Kenneth Casso... add input / output stage missing modules 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... 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... add notes on FunctionUnit API 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 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... 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... 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... 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-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 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... comment CompALUOpSubset, data_len is actually used... tree | commitdiff
2020-05-21 Luke Kenneth Casso... move CompLDSTOpSubset to fu.ldst.ldst_input_record tree | commitdiff
2020-05-21 Luke Kenneth Casso... add zero_a flag to CompALUOpSubset tree | commitdiff
2020-05-21 Luke Kenneth Casso... whitespace/shuffle 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... branch output spec nia not cia tree | commitdiff
2020-05-21 Luke Kenneth Casso... add dedicated TrapPipeSpec tree | commitdiff
2020-05-21 Luke Kenneth Casso... create and use ShiftRotPipeSpec tree | commitdiff
2020-05-21 Luke Kenneth Casso... convert to individual PipeSpecs for each pipeline tree | commitdiff
2020-05-21 Luke Kenneth Casso... add regspec to ALUPipeSpec tree | commitdiff
2020-05-21 Luke Kenneth Casso... use branch-specific data structures, add "regspecs... 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 NolanMake test for bpermd exercise the module a bit more 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 colepoirierAdded OP_BPERMD to fu/logical pipeline, with test 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... correct XER variable names tree | commitdiff
2020-05-20 Luke Kenneth Casso... correct import on shift_rot maskgen tree | commitdiff
2020-05-20 Michael NolanUse overflow definition from microwatt tree | commitdiff
next