Before you can start Precision RTL you must add it to your project profile.
To synthesizing your design with LeonardoSpectrum:
In Libero, right-click the HDL file in the File Manager, or the top-level schematic for mixed schematic-HDL designs in the Design Hierarchy, and choose Synthesize. LeonardoSpectrum starts.
The Input Box is blank. Hit the Enter key on the keyboard and all the design files are loaded into the Input Box.
From the Tools menu, choose Options.
Deselect Automatically save and Restore Current Work Directory option.
Enter the Clock Frequency if you want to constrain the design.
Use the slide bar to select the level of Optimize Effort.
Click Run Flow. Click the red error icon next to the error for Information about errors. The HDL Text Editor opens and the part of the HDL text which is the source of the error is automatically highlighted for you to modify.
Click Save to save the changes you have made to the HDL text. Rerun Synthesis to get a successful run. The synthesized netlist is in EDIF format and is visible under Implementation Files in the Libero File Manager tab.
From the File menu, choose Exit to close LeonardoSpectrum. A dialog box asks you if you would like to save any settings that you have made while in LeonardoSpectrum. Click Yes to save the LeonardoSpectrum project file (*.lsp).