Il est possible que vous voyiez des violations de synchronisation des nœuds suivants (configuration et récupération).
*go_bit_r à *go_rcfg_r
*go_rcfg_rr à *ack_bit_r
Ces chemins doivent être faux.
Pour contourner ce problème, ajoutez les contraintes suivantes au fichier .sdc de haut niveau :
set_false_path -de [get_registers *go_bit_r] à [get_registers*go_rcfg_r]
set_false_path -de [get_registers *go_rcfg_rr] à [get_registers*ack_bit_r]