Hello,
The ST25DV04K is capable of detecting the presence of an RF field.
This detection is done by sensing the voltage on the 2 pins connected to the antenna.
A voltage above Vmin1 (see datasheet, it is 4.8Vpp between AC0/AC1 pins) is required. This is the minimum voltage to boot the tag.
The voltage on AC0/AC1 is created by having a current circulating in the antenna coil connected to AC0/AC1. A current circulates in the antenna if there is an RF magnetic field going through the antenna.
So, basically, checking if the antenna is physically connected to the tag means applying an RF field on the antenna and checking that there is a induced voltage on AC0/AC1.
This can be checked in the EH_CTRL_Dyn register by reading bit 2 FIELD_ON.
This can also be checked by enabling the GPO interrupt FIELD_CHANGE_EN. In that case, a pulse will be generated on the GPO pin as soon as there is a RF field strong enough to generate the Vmin1 (or stronger than 150mA/m).
This way you can check if the antenna is correctly connected the the tag's pins.
Best regards.