Loading device database for application ngdanno from file "counter.ncd".
   "counter" is an NCD, version 2.28, device xc4010xl, package pc84, speed -3
Loading device for application ngdanno from file '4010xl.nph' in environment
C:/Fndtn.
Reading .ngm file "map.ngm"...
Building NGA image...
Annotating NGA image...
Distributing delays...
Writing .nga file "counter.nga"...
   64 logical models annotated