Hi Elizabeth,
We currently do not have the export feature enabled for the TPS54525. We are trying to have the export capability for this device enabled at the earliest. It should be in WEBENCH in a couple of days. I will let you know once it has been enabled.
Regards,
Gerold