OK and synplicity synthesis tool

I am trying to use Synplify Pro instead of Xilinx XST for synthesis, since XST does not (yet) support SystemVerilog, but synthesis fails due to “multiple driver” problem on OK2 bus. Based on what I have read in these forums, XST synthesis succeeds since it replaces tristate buffer in provided .ngc files with muxes. I tried forcing the same in Synplicity by using the compiler directive “/* synthesis syn_tristatetomux = 10*/;” but in vain. I would appreciate any help in overcoming this problem.



I had the exact same problem using Certify that builds on the Synplicity tool. The solution can be found in the FAQ on this website (and it works :o) ).