cleanup logical pipe formal proof

split out Logical Input and Output stages to common code, allows removal
of XER.SO from Logical pipeline

div probably uses ALU not Logical, needs double-checking though

update comments for ALUCompUnit

soc.fu.logical.input_stage no different from ALU: delete

covert ALU FU to CommonInputStage

create common input pipe spec to avoid code-duplication

move CR over to CompCROpSubset

Convert branch unit to new CR interface

Complete CR proof

increase fu-fu test matrix size

remove unneeded code

rename ShiftRot to Mul in fu mul test

rename Logical to Div in fu div test

cookie-cut start on div pipe

add cookie-cut mul pipeline template

whitespace

over 80 chars

comment tidyup

use CompBROpSubset and reduce it down in size (remove unneeded fields)

code-shuffle

remove accidentally added branch input stage

fix ModuleNotFoundError

add fu logical_input_record.py

update CROutputData to use Data()

update comments

whitespace cleanup

whitespace cleanup

remove input_cr, output_cr and is_32bit from CompCROpSubset

add read_cr_whole and write_cr_whole to CompCROpSubset

add first cut at cr_input_record.py

move Logical over to use CompLogicalOpSubset

Partial attempt at proving the new cr unit.

Shelving for a bit

argh syntax error

update and comment CR Input/Output Data specs

All CR tests now working

add CR out decoder debug

OP_CROP now working

Begin porting cr pipeline to new interface

Add third cr register select field to decoder

Update to latest wiki version

comment CompALUOpSubset, data_len is actually used by OP_EXTS

comment DecodeCRIn and DecodeCROut, gratuitously

document subkls in CompUnitRecord

ARSE! frickin git submodules!

move CompLDSTOpSubset to fu.ldst.ldst_input_record

Fix broken unit tests in test_caller

Add cr output decoder to power_decoder2.py

Add CR In decoder to power_decoder2.py

Convert CR out to enum in power_decoder

Update to latest wiki version - convert CR out to enum

Convert CR In field to enum instead of single bit

Update to latest wiki version

add zero_a flag to CompALUOpSubset

add zero_a flag to Decode2ExecuteType

Fix broken test_adde/add overflow handling to caller.py

whitespace/shuffle

move common functionality between PipeSpecs to soc.fu.pipe_data

move FU IntegerData to directory below

branch output spec nia not cia

add dedicated TrapPipeSpec

create and use ShiftRotPipeSpec

convert to individual PipeSpecs for each pipeline

add regspec to ALUPipeSpec

use branch-specific data structures, add "regspecs" to branch pspec

code-morph LDSTCompUnit to use RecordObject structure, like CompUnitALU

Fixed typo and left-over from refactoring

Add proof for OP_MCRF

Add proof for OP_MFCR

Make test for bpermd exercise the module a bit more

Revert "*technically* don't use a full crossbar"

This reverts commit e49a0608e702ed60db62fd36ff450828b567db42.
Doesn't reduce logic usage

add link to bugreport in CR pipe formal test

*technically* don't use a full crossbar

Added OP_BPERMD to fu/logical pipeline, with test

Revert "assign index to temporary"

This reverts commit e0e859f73a3e38365f8a5fef20628d6a0aae4c1f.

Add proof for OP_CROP

go back to not using LUT in CR pipe

assign index to temporary

store CR lut result in temporary

Begin adding CR proof

Fix small bug in op_crop

add register specs to pipeline in/out so that they can be used to connect up
Function Units to regfiles

damn.  assigning to temporary signals may turn out to be crucial.  it could
just be something that affects Arrays: generating the ilang for CR pipeline
went mental.  100% CPU for several minutes.  bad sign

ehn? moo? CR test_pipe_caller locks up 100% CPU on writing ilang file

correct XER variable names

correct import on shift_rot maskgen

Use overflow definition from microwatt

Add overflow handling and proof

Fix bug introduced in rebase

fixup XER names in shift_rot pipe tests

formal proof rename on XER flags

update to new names for XER fields

normalise XER regs carry/32 and SO

Add proof for OP_CNTZ

add cross-reference to bugtracker and wiki

Add test for edge cases that were previously buggy

Delete assume left over from testing

Add proof for OP_PRTY

Formally verify OP_POPCNT

Fix bug with popcntd

Popcount on -1 (64 ones) would overflow the signal holding the sum,
giving 0 instead of 64