文章目录

• • • 5.2.1、objection与task phase
    • 5.2.2、参数phase的必要性
    • 5.2.3、控制objection的最佳选择
    • 5.2.4、set_drain_time的使用
    • 5.2.5、objection的调试

5.2.1、objection与task phase

objection字面的意思就是反对、 异议。 在验证平台中， 可以通过drop_objection来通知系统可以关闭验证平台。 当然， 在撤销之前首先要raise_objection。 想象一下， 如果读者与别人交流时事先并没有提出异议， 然后忽然说： 我撤销刚才的反对意见（ objection） 。 那么， 事先并没有提出任何反对意见的你一定会令对方迷惑不已， 所以， 为了良好的沟通， 在drop_objection之前， 一定要先raise_objection：

代码清单 5-22

task main_pha