Specman

Question

你在测试文件中有以下扩展序列：

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!"); 我该怎么做？

Answer 1

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

如果您使用异议，您应该放弃对 "TEST_DONE" 的异议。这将允许其他驱动程序在测试停止之前也能完成。

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

Specman - 如何从测试文件完成测试？

Specman - How can I finish the test from the test file?

testing

verification