Genus synthesis commands. I am using the attached verilog code for decoder synthesis.