Function emit_nexys_state_xdc 

pub fn emit_nexys_state_xdc() -> String

The Nexys A7-100T pin constraints for nexys_state_soc — identical ports to the fabric SoC (100 MHz clk, reset, UART TX, LEDs), so the same pin map.