Use the FlashPro programming tool to program your ProASIC and ProASICPLUS devices.
You can only program your devices with FlashPro if you have already created a STAPL file in Designer.
You may program your device in FlashPro even if your STAPL file is out of date. Actel recommends that you update your STAPL file before programming.
The programming file generated by Designer is not passed to FlashPro automatically; you must import it manually after you start FlashPro.
For more information on FlashPro, please consult the FlashPro User's Guide in the <libero_install>/designer/doc/flashpro.pdf directory.