Le fichier de log vivado se nomme runme.log, si on met un «tag» dans le message de log on peut le récupérer avec grep :
grep "\[CFG\]" project/project.runs/synth_1/runme.log
Je ne connaissait pas les 18 fabricants !