Synplify Identify with Microsemi FPGAs

Is anybody out there using Microsemi's Libero SoC and the bundled Synplfiy Identify?

Identify is giving me problems:

1. It will not accept a depth of greater than 128 even when I ask for it
2. Gives completely wrong and impossible waveform results and gives the error message:

ERROR: objectsdb_type.cpp:207: assertion '0' failed

Since Synplify is bundled by Microsemi, I have no support with Synosys, nor is there an Actel/Microsemi forum to ask on.

thanks

--------------------------------------- Posted through