Most errors when using dart is related to interfaces mismatches from the IPs. This produces valid vivado designs that actually dont work when running in the board. This leads to long debugging sections. The idea is to implement some IP interface checking before the IP synthesis phase of dart, to catch the error ASAP.