Specman - 如何从测试文件中完成测试?

时间:2018-03-05 07:03:19

标签: testing verification specman

U在测试文件中有以下扩展序列:

extend MAIN vr_ad_sequence {  
   !sending_byte : bool;
   baud_rate : baud_rate_t;
   cts_en : bit; 

   ......
   ......

      --TX block
      if uart_regs.uartlcr.txe == 1 {
         for i from 1 to bytes_to_send {
            sending_byte = TRUE;
            do SEND_BYTE seq;
           // wait true (not(sending_byte));
            wait[6000];
         };
         out(sys.time, " : All bytes sent!");
      };
   };   
};

我希望在out(sys.time, " : All bytes sent!");行之后完成测试 我该怎么办?

1 个答案:

答案 0 :(得分:0)

你可以随时调用stop_run()来立即停止测试。

如果您使用异议,则应撤销对“TEST_DONE”的异议。这将允许其他驱动程序在测试停止之前完成。

另请参阅Specman文档中的“stop_run”和“End-of-Test Handling”。