Vivado XDC constraint files: pin assignments for the Arty A7, clock definitions, and timing constraints.