想问一下做STA的人，请问在ENCOUNTER中如何修setup time？

请问在ENCOUNTER中如何修setup time ?能具体说明一下吗?
是不是比如说：
1》先在PT中report出setup time的SDF file。
2》反标回ENCOUNTER,就是在ENCOUNTER中读进这个SDF file。
3》在ENCOUNTER用opt design去修这个setup time 的 violation.
我想问是不是这样的一个流程?
后者说是在PT中report出来 setup violation,然后在ENCOUNTER中一个个去修?

完了，似乎是一条条自己修的。