De nombreuses horloges peuvent exister dans une conception ; cependant, toutes les horloges n’interagissent pas entre elles, et certaines interactions avec l’horloge ne sont pas possibles. Les horloges asynchrones sont des horloges non resynchrones (les horloges asynchrones ont différentes sources d’horloge idéales). Les horloges exclusives ne sont pas actives en même temps (par exemple, les horloges multiplexées). L’exclusivité mutuelle doit être déclarée à l’Analyseur de synchronisation afin de l’empêcher d’analyser ces interactions d’horloge.
Vous pouvez utiliser la commande set_clock_groups pour spécifier les horloges exclusives ou asynchrones. La liste suivante indique la commande set_clock_groups, y compris les options disponibles :
set_clock_groups
nom [-asynchrone | -exclusif] -nom du
<clock group>
-nom du <clock group>
[nom du <clock>] ...
Le tableau 1 décrit les options de la commande set_clock_groups.
Tableau 1. Description des options de la commande set_clock_groups
| Description de l’option | |
|---|---|
| -asynchrone | Les horloges asynchrones sont celles qui sont complètement non réessayez (par exemple, des sources d’horloge idéales différentes) |
| -exclusif | Les horloges exclusives ne sont pas activement utilisées dans la conception à en même temps (par ex., horloges multiplexées) |
| - nom du <lock> | Spécifie les noms d’horloge de destination valides qui sont mutuellement exclusifs. <clock> est utilisé pour spécifier le nom de l’horloge. |
L’exemple suivant montre une commande set_clock_groups et les commandes équivalentes set_false_path.
Les horloges A et C ne sont jamais actives lorsque les horloges B et D sont actives
set_clock_groups -exclusive -group {A C} -group {B D} Spécification équivalente à l’aide de
faux chemins set_false_path
-de [get_clocks A] à [get_clocks B]
set_false_path de [get_clocks A] à [get_clocks D] set_false_path
-de [get_clocks C] à [get_clocks B]
set_false_path -de [get_clocks C] à [get_clocks D]
set_false_ chemin -de [get_clocks B] à [get_clocks A]
set_false_path -de [get_clocks B] à [get_clocks C] set_false_path
-de [get_clocks D] à [get_clocks A]
set_false_path -de [get_clocks D] à [get_clocks C]