Кстати, показательный пример - ПЛИС... Казалось, всё формализовано, должно привести к минимальным реализациям..
Однако, эта синтеза даёт весьма разные реализации. С чего компиляторы СИ формируя код на неком трехадресном пвседоязыке решили всё иначе? Оптимизация - это галимая эвристика, кто во что горазд, какие нюансы удалось в коде выявить.
https://marsohod.org/verilog/155-verilogmux