【技术实现步骤摘要】
一种基于先验信息的RTL级逻辑划分方法
[0001]本专利技术涉及FPGA设计领域,尤其涉及一种基于先验信息的RTL级逻辑划分方法。
技术介绍
[0002]当前电子技术飞速发展,程序设计规模越来越大,一颗处理器已经难以容下完整的用户设计。这种状况在FPGA原型验证过程中尤其明显。受限于逻辑资源的规模限制,用户在一颗FPGA中无法实现超大规模的复杂设计,严重制约了原型验证的工作。
[0003]当用户设计在一颗FPGA中放不下时,通常情况下,用户会手动切割设计,将功能分成几个模块,评估资源,放在多个FPGA中,同时根据FPGA之间的IO连线,设计通信协议,来实现整个系统的多FPGA协同工作。然而手动切割对工程师要求极高,要保证运行时多个FPGA的逻辑配合正确,功能正常,性能达标难度很大,小型工程勉强还可以,对大型工程几乎无法实现。因此,需要提供一种逻辑划分方法,降低对设计的划分难度,同时提高FPGA验证平台的仿真性能。
技术实现思路
[0004]本专利技术所要解决的技术问题是:克服现有技术存在的上述缺陷, ...
【技术保护点】
【技术特征摘要】
1.一种基于先验信息的RTL级逻辑划分方法,其特征在于,包含以下步骤:S1:导入多模互连FPGA平台的FPGA数量及资源情况;S2:导入用户设计及用户设计中各模块之间的先验信息;S3:依据先验信息,分析用户设计,得到用户设计的资源情况表和互连需求表,其中,用户设计的资源情况表包含用户设计中各模块的FPAG资源;S4:依据用户设计的资源情况表和互连需求表及多模互连FPGA平台的FPGA数量及资源情况对用户设计进行划分;S5:对用户设计划分进行验证,若满足约束则完成划分,输出划分结果,若不满足约束,则返回S4。2.根据权利要求1所述的一种基于先验信息的RTL级逻辑划分方法,其特征在于,所述多模互连FPGA平台的资源情况包含多模互连FPGA平台可容纳的内部资源,多模互连FPGA平台中FPGA之间的物理连接关系及物理连接属性,以及单个FPGA资源,单个FPGA资源包含LUT数量、寄存器数量、RAM数量、BRAM数量、DSP数量、普通IO数量、高速IO数量,其中,LUT为查找表,RAM为随机存储器,BRAM为块随机存储器,DSP为数字信号处理,IO为输入输出。3.根据权利要求2所述的一种基于先验信息的RTL级逻辑划分方法,其特征在于,所述FPGA之间的物理连接关系包含FPGA之间拓扑关系以及FPGA之间存在的交互互连模块,其中,FPGA之间拓扑关系包含环形、星型、总线型、胖树型。4.根据权利要求3所述的一种基于先验信息的RTL级逻辑划分方法,其特征在于,所述FPGA之间的物理连接属性包含基于TDM方式的连接、基于高速总线协议方式的连接,其中,TDM为时分复用技术。5.根据权利要求4所述的一种基于先验信息的RTL级逻辑划分方法,其特征在于,所述先验信息包含紧耦合信号、松耦合信号、信号翻转率、信号位宽、传输带宽、信号对传输延时敏感度。6.根据权利要求5所述的一种基于先验信息的RTL级逻辑划分方法,其特征在于,所述用户设计中各模块的FPGA资源包含LUT数量、寄存器数量、RAM数量、BRAM数量、DSP数量、普通IO数量、高速IO数量,其中,LUT为查找表,RAM为随机存储器,BRAM为块随机存储器,DSP为数字信号处理,IO为输入输出。7.根据权利要求6所述的一种基于先验信息的RTL级逻辑划分方法,其特征在于,所述步骤S4包含以下具体步骤:S41:将用户设计中各模块的FPGA资源按照不高于多模互连FPGA平台中单个FPGA资源的可调门限值进行预划分,得...
【专利技术属性】
技术研发人员:黄子桓,李立,
申请(专利权)人:湖南泛联新安信息科技有限公司,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。