specman

    0熱度

    1回答

    我有相同的採樣事件@sim兩個事件: unit monitor_a_u is { sample_a : interface_port of tlm_analysis of data_item_s is instance; data_a : simple_port of uint(bits:32) is instance; keep data_a.hdl_path()

    1熱度

    1回答

    我可以在Specman中的C中定義一個變量嗎? 無法從Specman uint發送(位:64)gcc指示錯誤。 謝謝。

    1熱度

    3回答

    我是Specman的新手,並試圖通過閱讀現有的代碼來學習它。 我碰到下面的函數,並不能找到的Specman文檔中解釋... VerifyNode(end_point:string, derived_value:uint) is also { if ('(end_point)' === ~derived_value) { message("Error1"); }

    1熱度

    1回答

    我想建立一個新的結構,從其他多個結構繼承,這樣的事情: struct new_struct like struct_a, struct_b, struct_c is { // The new_struct supposed to have all the fields of struct a/b/c }; 有沒有辦法從E倍數結構繼承? 謝謝你的幫助

    0熱度

    1回答

    我想將我的驗證環境中的一些變量初始化爲'X'值。我如何在e中設置'X'值? 謝謝您的幫助

    0熱度

    2回答

    我正在Specman E中開發一些RTL檢查器,並使用類型轉換來處理命令行參數。 的代碼如下, if(get_symbol("SWITCH").as_a(uint) > 10) { do something; }; 命令行有一個選項SWITCH = 10。問題是如果沒有錯誤的開關,則測試失敗。 *** Error: Looking for a number but found

    0熱度

    1回答

    我試圖驗證兩個模塊之間的一個非常簡單的握手。一個模塊處於慢速時鐘並提高「請求」,較快的模塊應該在下一個快速時鐘上提高「確認」並保持它,直到下一個慢速時鐘爲止。最終的結果是這樣的: 這是我寫的期待: expect expect_ack_when_req_go is (@req_rise_e) => @ack_rise_e else dut_error("ERROR: ack

    1熱度

    1回答

    我有一個單位my_unit與布爾字段my_bool。我需要在my_bool == FALSE時向my_unit添加特定的邏輯。可能嗎? unit my_unit { my_bool : bool; when my_bool { // Works fine, I can add logic to my_unit }; when not my_b

    1熱度

    1回答

    我在寫一個.sublime-syntax for the Specman language,需要多行方法聲明的幫助。 使用關鍵字is來聲明方法,該方法在方法聲明的大部分其他部分之後。 E.g. fwd_init() @driver.clock is { 或 add(x : uint, y : uint) is also { 或 private do_stuff(field : my_typ

    2熱度

    1回答

    我已經建立了一個(正常工作)記分牌/監視器環境: // Scoreboard : like uvm_scoreboard scbd_port packet_add : add packet_s; scbd_port packet_match : match packet_s; 我添加流: // Monitor: expected_packet_o : out in