每天一点Verilog,《高级FPGA设计》学习笔记:综合编码3

本文对比分析了两种Verilog代码风格,一种存在条件优先级不明的问题,可能导致意外的行为;另一种虽然在特定条件下能优化时序,但也可能引起数据冲突。通过具体的代码示例和结构图解释了每种风格的特点。

先贴出两段看起来差不多的代码,大家可以想一想,哪个是不好的风格,为什么?

 

代码1:

 

module test(

output reg odat,

input clk,

input idat1,idat2,ictrl1,ictrl2

);

 

always @ (posedge clk)

begin

if(ictrl2) odat <= idat2 ;

if(ictrl1) odat <= idat1 ;

end

 

endmodule

 

代码2:

 

module test(

output reg [3:0] odat,

input clk,

input idat,

input [3:0] ictrl

);

 

always @ (posedge clk)

begin

if (ictrl[0]) odat[0] <= idat ;

if (ictrl[1]) odat[1] <= idat ;

if (ictrl[2]) odat[2] <= idat ;

if (ictrl[3]) odat[3] <= idat ;

end

 

endmodule

 

有人知道答案了吗?不管有没有思路,看下面的结构图就会明白了:

 

代码1的结构图:

 

代码2的结构图:

 

 

 

答案揭晓:代码1的风格是不推荐的,因为它隐含了特权,即排在后面的条件优先级更高。如果在不知情的情况下,修改代码,改变了两条语句的顺序,就可能带来风险。

 

代码2其实在某些情况下也是不推荐的,如果判断的条件不互斥的话,idat就可能同时赋值给多个odat的位。可是如果能够确定判断的条件互不相容,这样的风格实际上会优化时序。

 

看看如果是将互不相容的条件判断写成如下形式会生成什么样的结构图。

 

always @ (posedge clk)

begin

if (ictrl[0])      odat[0] <= idat ;

else if (ictrl[1]) odat[1] <= idat ;

else if (ictrl[2]) odat[2] <= idat ;

else if (ictrl[3]) odat[3] <= idat ;

end

 

 

可以看出代码2的写法在这种时候可以至少减少2个数据选择器的时延。

 

 

 

【SCI复现】基于纳什博弈的多微网主体电热双层共享策略研究(Matlab代码实现)内容概要:本文围绕“基于纳什博弈的多微网主体电热双层共享策略研究”展开,结合Matlab代码实现,复现了SCI级别的科研成果。研究聚焦于多个微网主体之间的能源共享问题,引入纳什博弈理论构建双层优化模型,上层为各微网间的非合作博弈策略,下层为各微网内部电热联合优化调度,实现能源高效利用与经济性目标的平衡。文中详细阐述了模型构建、博弈均衡求解、约束处理及算法实现过程,并通过Matlab编程进行仿真验证,展示了多微网在电热耦合条件下的运行特性和共享效益。; 适合人群:具备一定电力系统、优化理论和博弈论基础知识的研究生、科研人员及从事能源互联网、微电网优化等相关领域的工程师。; 使用场景及目标:① 学习如何将纳什博弈应用于多主体能源系统优化;② 掌握双层优化模型的建模与求解方法;③ 复现SCI论文中的仿真案例,提升科研实践能力;④ 为微电网集群协同调度、能源共享机制设计提供技术参考。; 阅读建议:建议读者结合Matlab代码逐行理解模型实现细节,重点关注博弈均衡的求解过程与双层结构的迭代逻辑,同时可尝试修改参数或扩展模型以适应不同应用场景,深化对多主体协同优化机制的理解。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值