摘要：本公开提供一种硬件验证方法、电子设备、存储介质及程序产品，该方法包括：估算对待测设计进行硬件验证需要的硬件验证板的需求数量，确定所述需求数量的小数部分是否小于阈值；响应于确定所述需求数量的小数部分小于阈值，将所述待测设计切割并分配到硬件验证板和扩展电路板上进行硬件验证。其中，当待测设计的规模只是略微超过单块硬件验证板的容量时，通过扩展电路板配合硬件验证板实现硬件验证，无需占用额外的一整块硬件验证板，节省了成本，提高了硬件验证板的使用率。

摘要：本申请提供一种处理脚本命令的方法、电子设备和存储介质。该方法包括：读取与逻辑系统设计关联的脚本，所述脚本包括多个脚本命令；获取所述脚本中包括的标识符；根据所述标识符在所述多个脚本命令中确定要分析的一个或多个目标脚本命令；运行所述脚本以获取与所述一个或多个目标脚本命令对应的日志消息；以及根据所述标识符分析所述日志消息。

摘要：本申请提供一种用于仿真逻辑系统设计的方法、电子设备及存储介质，通过第一硬件仿真工具仿真第一逻辑系统设计以得到第一逻辑系统设计的仿真波形数据，将该仿真波形数据转换为可综合波形逻辑，通过第一硬件仿真工具仿真基于可综合波形逻辑和第一逻辑系统设计生成的第二逻辑系统设计，从而可以将仿真波形数据连续运行，避免了以离散的形式回放波形数据带来的运行效率低下的问题。

摘要：本申请提供一种待测设计的回归测试方法及相关设备，方法包括：获取第一待测设计的第一激励和第一响应，所述第一响应为在第一验证环境中基于所述第一激励运行所述第一待测设计得到；基于所述第一激励生成第二激励；在第二验证环境中基于所述第二激励对第二待测设计进行硬件仿真，得到第二响应；其中，所述第二验证环境与所述第一验证环境不同；比较所述第二响应和所述第一响应，得到回归测试结果。本申请实施例采用波形录制、转换和回放实现原有激励的完全复现，复现后的激励波形不失真，不增加额外的开发成本，保证了复现前后的激励的一致性，从而降低了回归测试的成本。

摘要：本申请提供一种在云系统上进行云计算的方法。所述方法包括：接收第一任务和第二任务；在所述云系统的硬件资源中确定与所述第一任务关联的第一硬件资源以及与所述第二任务关联的第二硬件资源；获取所述云系统的可用硬件资源；根据所述可用硬件资源、所述第一硬件资源和所述第二硬件资源在给定时间段内确定用于执行所述第一任务的主时段以及用于执行所述第二任务的碎片时段；以及在所述主时段中执行所述第一任务以及在所述碎片时段中执行所述第二任务。

摘要：本申请提供一种用于分析逻辑系统设计的时序的方法及相关设备，通过将多个可编程逻辑器件之间的延迟转换为多个可编程逻辑器件之间的延迟逻辑电路，并将与多个可编程逻辑器件对应的多个部分逻辑和延迟逻辑电路作为整体进行静态时序分析，从而解决了无法对各个可编程逻辑器件之间的延迟进行分析的问题，进而实现了对整个逻辑系统设计的时序分析。