买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：上海合见工业软件集团有限公司

摘要：本发明涉及EDA技术领域，特别是涉及一种基于原型验证系统的芯片分配方法、电子设备及存储介质，其通过获取原型验证系统中的N个物理验证单元，每个物理验证单元包括M个物理验证芯片；获取K个用户USER为USER中的每个用户配置一个用户配置文件，得到K个用户配置文件，每个用户配置文件中逻辑验证单元的身份标识互不相同且逻辑验证芯片的身份标识互不相同，不同用户配置文件中的身份标识信息独立，编译每个用户的用户配置文件得到资源列表，进而得到用户分配的物理验证芯片，该方法能够最大化的使用硬件资源，避免因用户独占物理验证单元带来的大部分物理验证芯片资源闲置浪费的问题。

主权项：1.基于原型验证系统的芯片分配方法，其特征在于，所述方法包括如下步骤：P100，获取原型验证系统中的N个物理验证单元，每个物理验证单元包括M个物理验证芯片；其中，第i个物理验证单元Fboxi具有身份标识FIDbi，FIDbi中的第j个物理验证芯片FFi具有身份标识FIDfi,j，FFi的唯一身份标识FIDLi,j＝{FIDbi,FIDfi,j}，i的取值范围为1到N，j的取值单位为1到M；P200，获取K个用户USER，USER＝{user1,user2,…,userk,…userK}，userk为第k个用户，k的取值范围为1到K；P300，为USER中的每个用户配置一个用户配置文件，得到K个用户配置文件file＝{file1,file2,…,filek,…fileK}，filek为userk的用户配置文件；其中，filek包括：为userk配置的G个逻辑验证单元LBOXk；其中，LBOX＝{Lboxk,1,Lboxk,2,…,Lboxk,i,…,Lboxk,G}，Lboxk,i为userk配置的第i个逻辑验证单元，Lboxk,i包括M个逻辑验证芯片LFk＝{LFk,i,1,LFk,i,2…,LFk,i,j,…,LFk,i,M}，LFk,i,j为userk配置的Lboxk,i的第j个逻辑验证芯片，Lboxk,i具有身份标识LIDbk,i，LFk,i,j具有身份标识LIDfk,i,j；LFk,i,j的唯一身份标识LIDLk,i,j＝{LIDbk,i,LIDfk,i,j}，其中k的取值范围为1到G，j的取值范围为1到M；P400，分别对file中的每个用户配置文件进行编译，得到每个用户分配的资源列表List；其中，userk的资源列表Listk包括G×M个基于唯一身份标识建立的逻辑验证芯片和物理验证芯片之间的映射关系；其中，LFk,i,j和FFi之间的映射关系为{LIDLk,i,j,FIDLi,j}。

全文数据：

权利要求：

百度查询： 上海合见工业软件集团有限公司 基于原型验证系统的芯片分配方法、电子设备及存储介质