set -tmpdir "F:/WORKAREA/counter/xst/projnav.tmp"
set -xsthdpdir "F:/WORKAREA/counter/xst"
elaborate
-ifn counter.prj
-ifmt mixed