在Riviera-PRO中，如果任何斷言失敗，我該如何返回非零退出代碼

Question

我試圖讓Riviera-PRO返回非零退出代碼，如果在模擬過程中我的SystemVerilog斷言失敗。但我似乎無法弄清楚如何從命令行或Tcl腳本中獲取它。

有誰知道如何做到這一點？

Answer 1

不要將模擬器的退出碼與模擬狀態（通過/失敗）混淆。對於我所知道的所有模擬器，非零退出代碼僅意味着運行可執行文件時出現問題（編譯錯誤，內存不足等）。通常通過解析日誌文件來確定模擬運行是否通過。