一种基于RLM流图的硬件原型仿真自动分割方法与流程

本发明属于集成电路微电子，特别是涉及一种基于rlm流图的硬件原型仿真自动分割方法。

背景技术：

1、随着asic芯片设计的规模持续扩大，数亿乃至数百亿门级电路已经极为常见，正确的验证超 大规模asic芯片的逻辑功能正确性面临巨大挑战。传统asic芯片的逻辑功能验证主要通过仿真软件进行仿真，软件仿真虽然能够去验证asic设计的逻辑功能正确性，但随着设计规模的增大，耗费的时间是数月乃至数年，严重影响了芯片上市（time-to-market）的时间。为了提高仿真的速度，业界开始逐步采用fpga作为原型，将asic芯片的设计分割到多块fpga中实现。然而，由于asic设计与fpga之间存较大的差异，ic工程师手动将asic手动分割到多片fpga，逻辑资源的分割、多片fpga之间互联、i/o引脚分配和高速接口都对应用fpga原型验证提出了苛刻的要求，需要耗费大量的时间和精力去寻找一个可用的分割方案。因此，需要一种自动分割asic设计到多片fpga的流程和方法。

技术实现思路

1、针对以上技术问题，本发明提供一种基于rlm流图的硬件原型仿真自动分割方法。

2、本发明解决其技术问题采用的技术方案是：

3、一种基于rlm流图的硬件原型仿真自动分割方法，方法包括以下步骤：

4、s100：将asic设计分割为多个rlm；

5、s200：获取每个rlm的信号流向，根据rlm之间的信号流向，构建由多个rlm组成的数据流图，得到rlm流图；

6、s300：对rlm流图的逻辑资源进行预估；

7、s400：将rlm流图聚合成孤岛流图，并将孤岛流图分割为孤岛子图，在孤岛子图内部进行rlm分割，得到分割结果；

8、s500：根据分割结果获取每个分割块的逻辑资源，判断每个分割块的逻辑资源是否满足约束条件，若满足，则获取可行的分割分案。

9、优选地，s200包括：

10、每个rlm信号包括信号来源和信号目的地，信号的来源和目的地构成一条信号的流向边，对应的构建出一条有向边，将有向边不断加入到流图模型中，构成了表示信号流动的rlm流图。

11、优选地，s200中rlm流图中，rlm表示图的节点，信号流向表示图的边，流动的信号类型包括松耦合信号和紧耦合信号。

12、优选地，s400包括：

13、从rlm流图中使用图的聚合方法将多个紧耦合信号相连的rlm聚合在一起形成孤岛流图，每个孤岛由多个rlm组成；

14、将孤岛流图划分成多个孤岛子图，在划分过程中，不可分的基本元素是孤岛，划分后的各个孤岛子图之间是松耦合连接；

15、将孤岛子图内部rlm分割到对应的分割块slice上，得到分割结果。

16、优选地，s500中判断每个分割块的逻辑资源是否满足约束条件，包括：

17、每个分割块中rlm的资源向量和不大于指定阈值，记为对应分割块中一个rlm, 表示的资源向量，表示lut的数量，表示ff的数量，表示ram的数量，表示lut的指定阈值、表示ff的指定阈值，表示ram的指定阈值，有如下约束关系：

18、。

19、优选地，s500还包括：

20、若不满足，则返回s400，直至获取可行的分割分案。

21、上述一种基于rlm流图的硬件原型仿真自动分割方法，以rlm流图作为fpga原型仿真的asic逻辑组织形式，能够代替手动划分自动获得一个可用的分割方案。

技术特征：

1.一种基于rlm流图的硬件原型仿真自动分割方法，其特征在于，所述方法包括以下步骤：

2.根据权利要求1所述的方法，其特征在于，s200包括：

3.根据权利要求2所述的方法，其特征在于，s200中所述rlm流图中，rlm表示图的节点，信号流向表示图的边，流动的信号类型包括松耦合信号和紧耦合信号。

4.根据权利要求3所述的方法，其特征在于，s400包括：

5.根据权利要求4所述的方法，其特征在于，s500中判断所述每个分割块的逻辑资源是否满足约束条件，包括：

6.根据权利要求5所述的方法，其特征在于，s500还包括：

技术总结
本发明公开了一种基于RLM流图的硬件原型仿真自动分割方法，包括将ASIC设计分割为多个RLM；获取每个RLM的信号流向，根据RLM之间的信号流向，构建由多个RLM组成的数据流图，得到RLM流图；对RLM流图的逻辑资源进行预估；将RLM流图聚合成孤岛流图，并将孤岛流图分割为孤岛子图，在孤岛子图内部进行RLM分割，得到分割结果；根据分割结果获取每个分割块的逻辑资源，判断每个分割块的逻辑资源是否满足约束条件，若满足，则获取可行的分割分案。以RLM流图作为FPGA原型仿真的ASIC逻辑组织形式，能够代替手动划分自动获得一个可用的分割方案。

技术研发人员：请求不公布姓名
受保护的技术使用者：湖南泛联新安信息科技有限公司
技术研发日：
技术公布日：2024/1/13