Refer Verilog code attached. After compilation, how can I get the equation (expression) for Y and z from the synthesis tool?
Are you referring to the logic expression? Check the RTL Viewer under the Tools menu. You can look at logic blocks in that tool based on your RTL code and see the logic implementation.
For more complete information about compiler optimizations, see our Optimization Notice.