There are many combinational circuits that have the same functionality.
Synthesis tools can accept additional guiding metrics from the user, that affect
Gate libraries have high and low drive power forms of most gates (see later).
The tool will use Quine/McCluskey, Espresso or similar for logic minimisation.
reg[31:0] y; ... if (e1) y <= e2; else if (e3) y <= e4; else y <= 32'bx; // Note, assignment of 'x' permits automated logic minimisation.
Can share sub-expressions or re-compute expressions locally.