멀티 비트 클럭이 타입 캐스팅을 사용하여 단일 비트로 수렴 됨

Question

유형 캐스팅 메소드를 사용하여 여러 비트를 단일 비트로 변환하려고 시도했지만 lint checker (LEDA)가 [0:0]을 허용하지 않으며 오류로 지적합니다. [0:0]은 배열을 의미합니까?

코드 사용 :

module xyz(
    input  x, 
    input  rst, 
    input  din, 
    output reg dout 
); 

    logic [1:0] i_clk; 
    logic [0:0] clk; 

    assign i_clk = logic'(x ); 
    assign clk = logic'(i_clk); 

    always_ff @(posedge clk) begin 
    if (rst) 
     dout <= '0; 
    else 
     dout <= din; 
    end 

endmodule 

LEDA 디자인 검사 명령 행 :

leda -top xyz filename.v -config leda_config.tcl +v2k -sverilog 

leda_config.tcl :

Multi-bit expression (e.g., a[2:0]) used as clock 

:

rule_deselect -all rule_select -rule W450 

오류처럼 보이는

Answer 1

많은 도구가 logic clk 대 logic [0:0] clk 인 경우 문제가 있습니다. 기술적으로, 전자는 스칼라 변수이고 후자는 하나의 요소 배열입니다. 불행히도 clk[0] 또는 clk[0:0]으로 참조가 가능하도록 많은 도구가 잘못 허용 되었기 때문에 logic clk;으로 선언 되었기 때문에 도구가 다른 선언에 반응합니다 또는 참조가 혼란스러워집니다.