Lors de la conception de chemins de données arithmétiques, l’utilisation de l’arithmétique classique (complément à 2) n’est pas toujours optimale en terme de performances. Récemment, il a été proposé d’utiliser d’autres formes d’arithmétiques, telle que l’arithmétique redondante, conjointement aux systèmes classiques. Cependant, la conception d’un chemin de données en redondant s’avère complexe pour un concepteur, d’où l’utilité d’un cadre de conception ad-hoc. Ce papier présente une méthode permettant d’automatiser le recours à plusieurs systèmes arithmétiques dans la synthèse d’architecture de chemins de données arithmétiques.