HDL_BITS--always与实例化

结果:Verilog中always块内不正确实例化导致代码编译失败。

出发点是想试试能否在if begin end语句实现在always里面完成实例化,通过不断的调试和找错发现always块内不能够进行实例化。

原因:在 Verilog 中,模块实例化通常不能放在 always 块内部:

因为模块实例化是结构描述,而 always 块用于行为描述。

#正确的verilog

module top_module(
    input [31:0] a,
    input [31:0] b,
    output [31:0] sum
);
wire [15:0]	sum1,sum2,sum3;
wire		cout;
 
assign	sum = cout ? {sum3,sum1} : {sum2,sum1};   
    
add16	inst1(
    .a		(a[15:0]	),
    .b		(b[15:0]	),
    .cin	(1'b0		),
    .cout	(cout		),
    .sum	(sum1		)
);
add16	inst2(
    .a		(a[31:16]	),
    .b		(b[31:16]	),
    .cin	(1'b0		),
    .cout	(			),
    .sum	(sum2 		)
);
add16	inst3(
    .a		(a[31:16]	),
    .b		(b[31:16]	),
    .cin	(1'b1		),
    .cout	(			),
    .sum	(sum3		)
);    
endmodule
#错误的Verilog

module top_module(
    input [31:0] a,
    input [31:0] b,
    output [31:0] sum
);
    wire cout2choose;
    add16 add_low(
        .a	(a[15:0]),
        .b	(b[15:0]),
        .cin(0),
        .sum(sum[15:0]),
        .cout(cout2choose)
    );
    always@(*)begin
        if(cout2choose) 
            begin
    add16 add_1(
        .a	(a[31:16]),
        .b	(b[31:16]),
        .cin(1),
        .sum(sum[31:16]),
        .cout()
    );
        end
        else	
            begin
    add16 add_2(
        .a	(a[31:16]),
        .b	(b[31:16]),
        .cin(0),
        .sum(sum[31:16]),
        .cout()
    );
        end
    end
    
endmodule

这段数字设计综合工具的执行脚本包含了多个命令,每个命令的作用如下: 1. `source -verbose "../const/design_info.tcl"`:引入常量文件 `design_info.tcl`。 2. `set_attribute information_level 9`:设置综合信息输出级别为 9。 3. `set_attribute hdl_track_filename_row_col true`:在门级网表添加源代码文件名、行号和列号等信息。 4. `set_attribute hdl_generate_index_style %s_%d`:设置门级网表的索引样式为 `%s_%d`,其 `%s` 表示模块或信号的名称,`%d` 表示该模块或信号在其父模块的序号。 5. `set_attribute hdl_generate_separator _`:设置门级网表模块和信号之间的分隔符为下划线。 6. `set_attribute hdl_search_path $SEARCH_PATH`:设置综合工具的搜索路径为 `$SEARCH_PATH`,其 `$SEARCH_PATH` 是常量文件定义的路径。 7. `set_attribute library $LIB_LIST_MAX`:将当前设计的综合库设置为工程定义的最大库列表。 8. `read_hdl -sv $RTL_LIST -define LEAF_BHV`:读取 Verilog/SystemVerilog 文件,其 `$RTL_LIST` 是常量文件定义的文件列表,`-define LEAF_BHV` 表示定义了宏 `LEAF_BHV`。 9. `set_attr blackbox true [find / -hdl_arch clock_tree_model*]`:将时钟树模型标记为黑盒。 10. `elaborate $DESIGN_TOP`:对顶层模块进行综合。 11. `set_attribute write_vlog_bit_blast_constants true`:在 Verilog 输出文件写入常量的位表示。 12. `set_attribute write_vlog_unconnected_port_style none ;#(none/partial/full)`:在 Verilog 输出文件处理未连接的端口,`none` 表示不处理。 13. `set_attribute hdl_undriven_output_port_value none`:定义未驱动输出端口的默认值为 `none`。 14. `set_attribute hdl_unconnected_input_port_value x`:定义未连接输入端口的默认值为 `x`。 15. `set_attribute hdl_allow_inout_const_port_connect false`:禁止连接 inout 类型端口和常量端口。 16. `syn_gen -effort high`:进行综合,`-effort high` 表示使用高效的综合策略。 17. `change_names -regexp -allowed "a-zA-Z0-9_" -subdesign -max_length 20`:对子模块的名称进行修改,将不符合规范的字符替换为下划线,最大长度为 20 个字符。 18. `change_names -regexp -allowed "a-zA-Z0-9_" -instance`:对实例的名称进行修改,将不符合规范的字符替换为下划线。 19. `change_names -regexp -allowed "a-z0-9_" -net`:对信号的名称进行修改,将不符合规范的字符替换为下划线。 20. `write_hdl -equation > $GNR_NETLIST`:将门级网表输出到 `$GNR_NETLIST` 文件
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值