# Export to BDDhisc

To export a project to BDDhisc, open the Project menu and select Export to BDDhisc. DESpot will ask you for the filename and filepath you wish to save your BDDhisc project file. Click Save to finish the operation. Your project file and all required subsystem and DES files will now be created in the BDDhisc format. For a HISC project to be eligible for export, every uncontrollable event must belong to at least one plant DES.

When exporting multiple projects, it is highly recommended to save each project in a separate directory. This will prevent files from being overwritten by different projects. If you must export multiple projects to the same directory, your projects must have different names for all the high-level and low-level subsystems. Exporting creates files based on the names of these subsystems and will overwrite previously saved files if you export multiple projects with subsystems that have the same name.

« HPE Tools | BDD Tools »