Loading device database for application ngdanno from file "binary.ncd".   "binary" is an NCD, version 2.27, device xc4005e, package pc84, speed -2Loading device for application ngdanno from file '4005e.nph' in environment/home/zeppelin2/tech_apps/m1_4.12.Loading constraints from file "binary.pcf"...Reading .ngm file "map.ngm"...Building NGA image...Annotating NGA image...Distributing delays...Writing .nga file "time_sim.nga"...   20 logical models annotated