Yosys中的計算verilog參數

Question

我正在學習Verilog，使用Yosys將代碼合成到iCE40開發板。我堅持在verilog中使用參數。我有以下代碼：

module tst; 

    parameter clkspd=12000000; 
    parameter baudrate=115200; 
    localparam bitperiod=$floor(clkspd/baudrate-0.5); 
    localparam bittmrwidth=$clog2(bitperiod); 
    //localparam bittmrwidth=$clog2(103); 

    initial begin 
    $display("Hello World!"); 
    $display("width=%d",bittmrwidth); 
    end 

endmodule 

當我編譯的代碼：

yosys -p 'synth_ice40 -top tst -blif tst.blif' tst.v 

我得到一個錯誤：如果我用註釋掉線

ERROR: Failed to evaluate system function `\$clog2' with non-constant value at tst.v:5. 

然而，一切工作如預期。

如何用給定參數計算「bittmrwidth」？

Answer 1

我沒有安裝yosys，但是當我在另一個模擬器上運行你的代碼，我得到這個錯誤：

System function call $clog2 must have an integral argument.

這是符合IEEE標準1800年至二零一二年一致，部分20.8.1 整數數學函數，這爲$clog2規定：

The argument can be an integer or an arbitrary sized vector value.

的$floor函數返回一個real結果類型，根據部分20.8.2 真正的數學函數。只需將$floor輸出轉換爲$rtoi的整數類型。下面的代碼沒有錯誤運行對我來說：

module tst; 

    parameter clkspd=12000000; 
    parameter baudrate=115200; 
    localparam bitperiod = $rtoi($floor(clkspd/baudrate-0.5)); 
    localparam bittmrwidth=$clog2(bitperiod); 

    initial begin 
    $display("Hello World!"); 
    $display("width=%d",bittmrwidth); 
    end 

endmodule 

/* 

Output: 

Hello World! 
width=   7 

*/ 

我最初的代碼中使用轉換運算符，但顯然yosys尚不支持它，根據下面的評論。這是我的原始線：

localparam bitperiod = int'($floor(clkspd/baudrate-0.5));