soc.git
2020-05-22 Michael NolanAdd formal proof for branch unit, fix bug with bcreg
2020-05-22 Luke Kenneth... cleanup logical pipe formal proof
2020-05-22 Luke Kenneth... split out Logical Input and Output stages to common...
2020-05-22 Luke Kenneth... div probably uses ALU not Logical, needs double-checkin...
2020-05-22 Luke Kenneth... update comments for ALUCompUnit
2020-05-22 Luke Kenneth... soc.fu.logical.input_stage no different from ALU: delete
2020-05-22 Luke Kenneth... covert ALU FU to CommonInputStage
2020-05-22 Luke Kenneth... create common input pipe spec to avoid code-duplication
2020-05-22 Luke Kenneth... move CR over to CompCROpSubset
2020-05-22 Michael NolanConvert branch unit to new CR interface
2020-05-22 Michael NolanComplete CR proof
2020-05-22 Luke Kenneth... increase fu-fu test matrix size
2020-05-22 Luke Kenneth... remove unneeded code
2020-05-22 Luke Kenneth... rename ShiftRot to Mul in fu mul test
2020-05-22 Luke Kenneth... rename Logical to Div in fu div test
2020-05-22 Luke Kenneth... cookie-cut start on div pipe
2020-05-22 Luke Kenneth... add cookie-cut mul pipeline template
2020-05-22 Luke Kenneth... whitespace
2020-05-22 Luke Kenneth... over 80 chars
2020-05-22 Luke Kenneth... comment tidyup
2020-05-22 Luke Kenneth... use CompBROpSubset and reduce it down in size (remove...
2020-05-22 Luke Kenneth... code-shuffle
2020-05-22 Luke Kenneth... remove accidentally added branch input stage
2020-05-22 Tobias Platenfix ModuleNotFoundError
2020-05-21 Luke Kenneth... add fu logical_input_record.py
2020-05-21 Luke Kenneth... update CROutputData to use Data()
2020-05-21 Luke Kenneth... update comments
2020-05-21 Luke Kenneth... whitespace cleanup
2020-05-21 Luke Kenneth... whitespace cleanup
2020-05-21 Luke Kenneth... remove input_cr, output_cr and is_32bit from CompCROpSubset
2020-05-21 Luke Kenneth... add read_cr_whole and write_cr_whole to CompCROpSubset
2020-05-21 Luke Kenneth... add first cut at cr_input_record.py
2020-05-21 Luke Kenneth... move Logical over to use CompLogicalOpSubset
2020-05-21 Michael NolanPartial attempt at proving the new cr unit.
2020-05-21 Luke Kenneth... argh syntax error
2020-05-21 Luke Kenneth... update and comment CR Input/Output Data specs
2020-05-21 Michael NolanAll CR tests now working
2020-05-21 Luke Kenneth... add CR out decoder debug
2020-05-21 Michael NolanOP_CROP now working
2020-05-21 Michael NolanBegin porting cr pipeline to new interface
2020-05-21 Michael NolanAdd third cr register select field to decoder
2020-05-21 Michael NolanUpdate to latest wiki version
2020-05-21 Luke Kenneth... comment CompALUOpSubset, data_len is actually used...
2020-05-21 Luke Kenneth... comment DecodeCRIn and DecodeCROut, gratuitously
2020-05-21 Luke Kenneth... document subkls in CompUnitRecord
2020-05-21 Luke Kenneth... ARSE! frickin git submodules!
2020-05-21 Luke Kenneth... move CompLDSTOpSubset to fu.ldst.ldst_input_record
2020-05-21 Michael NolanFix broken unit tests in test_caller
2020-05-21 Michael NolanAdd cr output decoder to power_decoder2.py
2020-05-21 Michael NolanAdd CR In decoder to power_decoder2.py
2020-05-21 Michael NolanConvert CR out to enum in power_decoder
2020-05-21 Michael NolanUpdate to latest wiki version - convert CR out to enum
2020-05-21 Michael NolanConvert CR In field to enum instead of single bit
2020-05-21 Michael NolanUpdate to latest wiki version
2020-05-21 Luke Kenneth... add zero_a flag to CompALUOpSubset
2020-05-21 Luke Kenneth... add zero_a flag to Decode2ExecuteType
2020-05-21 Michael NolanFix broken test_adde/add overflow handling to caller.py
2020-05-21 Luke Kenneth... whitespace/shuffle
2020-05-21 Luke Kenneth... move common functionality between PipeSpecs to soc...
2020-05-21 Luke Kenneth... move FU IntegerData to directory below
2020-05-21 Luke Kenneth... branch output spec nia not cia
2020-05-21 Luke Kenneth... add dedicated TrapPipeSpec
2020-05-21 Luke Kenneth... create and use ShiftRotPipeSpec
2020-05-21 Luke Kenneth... convert to individual PipeSpecs for each pipeline
2020-05-21 Luke Kenneth... add regspec to ALUPipeSpec
2020-05-21 Luke Kenneth... use branch-specific data structures, add "regspecs...
2020-05-21 Luke Kenneth... code-morph LDSTCompUnit to use RecordObject structure...
2020-05-21 Cesar StraussFixed typo and left-over from refactoring
2020-05-20 Michael NolanAdd proof for OP_MCRF
2020-05-20 Michael NolanAdd proof for OP_MFCR
2020-05-20 Michael NolanMake test for bpermd exercise the module a bit more
2020-05-20 Michael NolanRevert "*technically* don't use a full crossbar"
2020-05-20 Luke Kenneth... add link to bugreport in CR pipe formal test
2020-05-20 Michael Nolan*technically* don't use a full crossbar
2020-05-20 colepoirierAdded OP_BPERMD to fu/logical pipeline, with test
2020-05-20 Michael NolanRevert "assign index to temporary"
2020-05-20 Michael NolanAdd proof for OP_CROP
2020-05-20 Luke Kenneth... go back to not using LUT in CR pipe
2020-05-20 Luke Kenneth... assign index to temporary
2020-05-20 Luke Kenneth... store CR lut result in temporary
2020-05-20 Michael NolanBegin adding CR proof
2020-05-20 Michael NolanFix small bug in op_crop
2020-05-20 Luke Kenneth... add register specs to pipeline in/out so that they...
2020-05-20 Luke Kenneth... damn. assigning to temporary signals may turn out...
2020-05-20 Luke Kenneth... ehn? moo? CR test_pipe_caller locks up 100% CPU on...
2020-05-20 Luke Kenneth... correct XER variable names
2020-05-20 Luke Kenneth... correct import on shift_rot maskgen
2020-05-20 Michael NolanUse overflow definition from microwatt
2020-05-20 Michael NolanAdd overflow handling and proof
2020-05-20 Michael NolanFix bug introduced in rebase
2020-05-20 Luke Kenneth... fixup XER names in shift_rot pipe tests
2020-05-20 Luke Kenneth... formal proof rename on XER flags
2020-05-20 Luke Kenneth... update to new names for XER fields
2020-05-20 Luke Kenneth... normalise XER regs carry/32 and SO
2020-05-20 Michael NolanAdd proof for OP_CNTZ
2020-05-20 Luke Kenneth... add cross-reference to bugtracker and wiki
2020-05-20 Michael NolanAdd test for edge cases that were previously buggy
2020-05-20 Michael NolanDelete assume left over from testing
2020-05-20 Michael NolanAdd proof for OP_PRTY
2020-05-20 Michael NolanFormally verify OP_POPCNT
next