Synopsys LEDA可以检查指定路径的情况吗？

在使用LEDA进行检查代码的时候，想只检查某条路径，这条路径的起点和终点是确定的，但是中间不只一个模块，如何在众多信号中只选择某条特定路径进行检查呢?
因为不只是简单的查语法，还加入了异步情况检查如C_1202和NTL_CLK05这样的规则，所以需要指定某条关心的路径。
谢谢，请大家指点迷津！

这个已经上升到一定的难度了，估计没多少人会的，知道了记得教下我