Matthias Koch

I found another place to save a few LUTs: ``` 3'b100: out = ($signed(in1) < $signed(in2)); // BLT 3'b101: out = ($signed(in1) >= $signed(in2)); // BGE 3'b110: out = (in1...

Hey, thanks ! Have fun !

I usually need a few tries for properly handling signed values, too. But there are maps into these mostly uncharted territories: If you like tricks like these, I wish to...

@mithro > lot of options you can tell Yosys to give to ABC I tried adding "-abc2 -relut" to the synth_ice40 command, according to this documentation: http://www.clifford.at/yosys/cmd_synth_ice40.html On my project,...

Hi Bruno, I am sorry I cannot give more guidance. It's a quite erratic random walk for me also. Could you please add your code with the changed branch predicates...

The original version as-is weighs in at 1332 LUTs here and doesn't fit on Icestick. Then I activated the NRV_TRY_COMPACT_PREDICATES and LUT usage dropped to 1262. Further adding "-abc2 -relut"...

I took your code as-is and activated NRV_TRY_COMPACT_PREDICATES only.

With NRV_TWOSTAGE_SHIFTER activated as well along with NRV_TRY_COMPACT_PREDICATES, I get 1246 LUTs (with -abc2 -relut) or 1261 LUTs (without).

Oh no ! I hope "mithro" can comment on this. One more idea to try might be to merge branches & alu opcodes and use a dedicated adder for PC...

I am quite sure we are using different minor revisions of Yosys, despite they report the same 0.9+2406 version string. Using a different clang to compile Yosys should not alter...