Libero uses post-layout files for back-annotated timing simulation.
Post-layout files include:
*ba.sdf - Standard Delay Format for back-annotation to the simulator.
*ba.vhd - AFL flattened netlist used exclusively for back-annotated timing simulation. May contain low level macros not immediately recognizable to you; these were added by Designer to improve your design performance.
To generate a post-layout file, run Designer and generate back-annotated files.
Icons:
(Green check) - File is current; you can use the files for simulation.
(Yellow exclamation) - File is out-of-date;something has changed since you created your post-layout files (you may have modified the source, family, default synthesis tool, package, etc.). Re-run Designer and re-generate your post-layout files to update it. You may use the out-of-date file for back-annotated timing simulation if you wish.