Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / src / soc / fu / logical /
2020-05-19 Luke Kenneth Casso... annoying syntax error
2020-05-19 Luke Kenneth Casso... code-shuffle on OP_CNTZ
2020-05-19 Michael NolanImplement 32 bit cntlz and cnttz
2020-05-19 Michael NolanActually implement cntlzd
2020-05-19 colepoirierAdded luke's suggested code to cover all 3 assertions...
2020-05-18 colepoirierAdded 2nd of 3 assertions for proof_bperm.py, currently...
2020-05-18 Luke Kenneth Casso... move countzero to fu/logical
2020-05-18 Luke Kenneth Casso... correct import after soc.fu move
2020-05-18 Luke Kenneth Casso... mass-rename of modules to soc.fu.*
2020-05-18 Luke Kenneth Casso... rename pipe to fu