When running Synplify_Pro from ISE when using a top module in a library other than the work library, the following error occurs in the Synplify .srr report:
This error is occuring because line 396 of the Synplify .prj file created from a script by ISE does not include the library prefix when setting the top module.
For example, the line:
When the .prj file is changed to reflect this, Synplify can be run with the .prj file stand-alone.
The script to fix the automatic creation of the .prj file will be fixed in a future release.