set -tmpdir "./xst/projnav.tmp"
elaborate
-ifn usb_agfo5.prj
-ifmt mixed