Possible hazard in combinational logic of control unit

physical-computation / Sail-RV32I-common

Common files for the Sail RISC-V processor.

MIT License

5 stars 13 forks source link

Possible hazard in combinational logic of control unit #25

Open rjlv2 opened 5 years ago

rjlv2 commented 5 years ago

Specifically ALUSrc control signal. Somehow it accepts (~6).(~4) + (~6).(~5).(4) but not (~6).(~4) + (~6).~(5), though they are the same in boolean logic.

rjlv2 commented 5 years ago

This issue seems to be only limited to the branch of Sail used in uncertainty propagation. Works ok on the normal RV32I processor.