【技术实现步骤摘要】
芯片验证方法、分割方法、装置、电子设备及存储介质
[0001]本公开涉及芯片验证
,尤其涉及一种基于
FPGA
的芯片验证方法
、
芯片模块分割方法
、
芯片模块分割装置
、
电子设备以及存储介质
。
技术介绍
[0002]基于
FPGA
的芯片验证方法是芯片验证领域的重要手段,对于超大规模的集成电路而言,考虑到芯片规模较大,有可能会超出一个
FPGA
的容量,因此在进行芯片验证之前,通常会预先评估芯片规模是否超出一个
FPGA
的容量,若是,则会基于图论最小割算法对芯片的多个模块进行分割处理,并将分割后的多组模块分别部署至多个
FPGA
,从而通过多个
FPGA
联合对芯片进行验证
。
[0003]在通过多个
FPGA
联合对芯片进行验证期间,
FPGA
与
FPGA
之间采用时分复用
(Time ...
【技术保护点】
【技术特征摘要】
1.
一种基于
FPGA
的芯片验证方法,包括:针对待验证芯片的多个模块,确定每两个模块之间的连接方式是否为
AMBA
总线连接;根据每两个模块之间的连接方式是否为
AMBA
总线连接,将所述多个模块部署至至少两个
FPGA
;其中,具有连接关系且连接方式不是
AMBA
总线连接的两个模块位于同一个
FPGA
上,具有连接关系且分别位于两个
FPGA
上的两个模块之间的连接方式为
AMBA
总线连接;针对具有连接关系且分别位于两个
FPGA
上的两个模块,在用于连接该两个模块的两个
AMBA
接口之间设置目标模块,使得该两个模块之间通过所述目标模块实现跨
FPGA
数据传输;其中,所述目标模块的数据传输速率大于
AMBA
总线的数据传输速率;基于所述至少两个
FPGA
,对所述待验证芯片进行验证
。2.
根据权利要求1所述的方法,所述针对待验证芯片的多个模块,确定每两个模块之间的连接方式是否为
AMBA
总线连接,包括:从所述多个模块中选择一个作为待处理模块,从所述多个模块中确定与所述待处理模块具有连接关系的相连模块,并判断每个相连模块与所述待处理模块之间的连接方式是否为
AMBA
总线连接,将各个相连模块组成待处理队列,并将所述待处理模块的状态标识更新为已处理;循环执行以下过程,直至所述待处理队列中的模块的状态标识全部更新为已处理:从所述待处理队列中选择一个状态标识为未处理的相连模块作为待处理模块,从所述多个模块中确定与所述待处理模块具有连接关系的相连模块,并判断每个相连模块与所述待处理模块之间的连接方式是否为
AMBA
总线连接,将状态标识为未处理且未被添加到所述待处理队列中的相连模块添加至所述待处理队列,并将所述待处理模块的状态标识更新为已处理
。3.
根据权利要求2所述的方法,所述判断每个相连模块与所述待处理模块之间的连接方式是否为
AMBA
总线连接,包括:检测相连模块与所述待处理模块之间的信号是否包括目标信号,所述目标信号是
AMBA
协议包含的信号;如果包括所述目标信号,则确定相连模块与所述待处理模块之间的连接方式为
AMBA
总线连接;如果不包括所述目标信号,则确定相连模块与所述待处理模块之间的连接方式不是
AMBA
总线连接
。4.
根据权利要求1至3任一项所述的方法,所述根据每两个模块之间的连接方式是否为
AMBA
总线连接,将所述多个模块部署至至少两个
FPGA
,包括:将具有连接关系且连接方式不是
AMBA
总线连接的每两个模块作为一个集合,每个集合包括相应两个模块的模块
ID
;针对每个集合,判断该集合与其余每个集合之间是否存在相同的模块
ID
,如果存在,则将该集合和与该集合存在相同模块
ID
的集合合并成一个新集合,并判断该新集合与其余每个集合之间是否存在相同的模块
ID
,如果存在,则将该新集合与和该新集合存在相同模块
ID
的集合合并成另一个新集合;针对合并后的每个集合,将该集合内的全部模块部署至同一个
FPGA。5.
根据权利要求1至3任一项所述的方法,所述根据每两个模块之间的连接方式是否为
AMBA
总线连接,将所述多个模块部署至至少两个
FPGA
,包括:将具有连接关系且连接方式不是
AMBA
总线连接的每两个模块作为一个集合,每个集合包括相应两个模块的模块
ID
;针对每个集合,判断该集合与其余每个集合之间是否存在相同的模块
ID
,如果存在,则将该集合和与该集合存在相同模块
ID
的集合合并成一个新集合,并判断该新集合与其余每个集合之间是否存在相同的模块
ID
,如果存在,则将该新集合与和该新集合存在相同模块
ID
的集合合并成另一个新集合;针对合并后的每个集合,根据该集合包括的至少两个模块,计算该集合的容量占用值;其中,每个集合的容量占用值等于每个集合包括的至少两个模块各自的容量占用值的总和;根据每个集合的容量占用值,对每个集合执行第二次合并,第二次合并后的每个集合的容量占用值等于合并成该集合的多个集合的容量占用值的总和,第二次合并后的每个集合的容量占不超过
FPGA
的容量上限;针对第二次合并操作后的每个集合,将该集合内的全部模块部署至同一个
FPGA。6.
根据权利要求1至3任一项所述的方法,所述目标模块包括第一
chip2chip
子模块
、
第一
aurora
子模块
、
第二
aurora
子模块以及第二
chip2chip
子模块,所述第一
chip2chip
子模块的一端连接第一模块的
AMBA
接口,所述第一
ch...
【专利技术属性】
技术研发人员:李小波,李永超,
申请(专利权)人:象帝先计算技术重庆有限公司,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。