dc-syn should depend on vlsi-timestamp