Post-synthesis files include:
<top>.edn - EDIF netlist file; used for post-synthesis simulation in Libero; also used by Designer to generate back-annotated files and complete layout
<top>.adb - Designer project file, automatically generated by Libero; if you activate PALACE for physical synthesis, the <top>.adb file moves to Post-physical synthesis files.
<top>.vhd - simulation file, automatically generated by Libero
To generate your EDIF netlist, use your Synthesis tool. You can also import your EDIF netlist named <top>.edn.
Icons:
(Green check) - Files are current; you can use the file for simulation or place-and-route.
(Yellow exclamation) - Files are out-of-date;something has changed since you created your post-synthesis file (you may have modified the source, family, default synthesis tool, package, etc.) Re-run synthesis to update the file. You may use the out-of-date file for simulation or place-and-route if you wish.