Converting Behavioral to Gate Level

As I said, the equations in the comment lines are readable and can be converted to other HDL language. If I remember right, the syntax is described in Quartus online help or a software manual. But it's using basically only four operators ! &# $ (NOT, AND,OR,XOR), so the meaning should be understandable without further documentation. Cause the gate level file has to reproduce the exact LUT implementation of the design (to allow correct timing analysis), it may differ considerably from the virtual gate level representation, you're intending.