These XDC files can be used by Vivado projects to automatically infer
proper timing constraints for CDC paths.