Add timing files from adt-synthesis