每天学命令<report_clock_propagation>

report_clock_propagation 
-clock  clock_list 
[-max_paths  number of paths ] 
-to  pin_port_list 
[-verbose] 
[-view  viewName ] 
[>  filename[.gz] ] 
[>>  filename[.gz] ]

---

这个命令可以报出clock在某个特定pin或者port上的传播信息，或者没有正确地传播的原因

---

-clock  指定检查的clock, 单个或者clock list都可以

-max_paths   指定每条clock最多报出的path

-to   指定clock到达的pin或者port口

-verbose  报出clock停止传播的具体原因

-view   指定具体的analysis view

>  filename[.gz]  指定生成的文件名

 

例子：

<CMD> report_clock_propagation -clock clock2 -to and1/A -verbose

Clock: clock2

Point: and1/A

View:  view1

The clock 'clock2' propagates to the pin'and1/A'

Clock: clock2

Point: and1/A

View:  view2

The clock is marked inactive throughset_active_clock command

使用report_clock_propagation检查出，clock2在view1下面正确传播到and1/A pin。在view2下面没有正确传播，是因为在sdc文件里被mark成inactive了

---