My Simulink project is now progressing steadily!
Compatibility for the Digilent AD2 PMOD peripheral is now working but my programming procedure make use of a trick which I would like to avoid.
Because I need to add constraints for internal pullups I tipically stop the workflow after RTL generation, include the constraints in the .xdc file automatically generated and then proceed with the bitstream generation.
I do this ugly thing because Simulink doesn't seem to offer the possibility to add PULLUP constraints to the system port.