[PandA project и Bambu] Синтез Verilog из C -> В документах --> все достаточно эффективно разжевано. Оказывается, GCC имеет одно из внутренних низкоуровневых представлений RTL https://panda.dei.polimi.it/?page_id=649
https://panda.dei.polimi.it/
https://gcc.gnu.or …cs/gccint/RTL.html#RTL