本申请实施例提供一种保存和读取波形数据的方法、电子设备和存储介质。该保存方法包括：获取逻辑系统设计的描述；根据所述逻辑系统设计确定所述逻辑系统设计的必要信号和次要信号，其中，所述次要信号和所述必要信号之间存在映射关系；仿真所述逻辑系统设...

本申请提供一种设置逻辑系统设计的仿真还原点的方法及相关设备。该方法，包括：仿真参考逻辑系统设计以获得参考日志文件；仿真目标逻辑系统设计以获得目标日志文件，所述目标逻辑系统设计是在所述参考逻辑系统设计的基础上修改得到的；比较所述参考日志文...

本申请实施例提供一种定位逻辑系统设计的错误的方法，包括：仿真所述逻辑系统设计以获得参考波形文件；生成所述逻辑系统设计的多个错误；分别基于所述多个错误仿真所述逻辑系统设计以生成多个错误输出；基于所述逻辑系统设计、所述参考波形文件、所述多个...

本申请实施例提供一种定位逻辑系统设计的错误的方法，包括：仿真第一逻辑系统设计和第二逻辑系统设计以分别获得第一波形文件和第二波形文件，所述第一逻辑系统设计包括第一待测设计，所述第二逻辑系统设计包括第二待测设计，所述第二波形文件包括所述第二...

本申请提供一种用于逻辑系统设计的仿真的方法、电子设备和存储介质，方法包括：获取用于逻辑系统设计的仿真的约束条件，所述约束条件包括由多个原始变量构成的多个表达式；根据所述约束条件确定所述约束条件的命题骨架，其中，所述多个表达式分别用多个布...

本申请提供一种测试设计的方法、电子设备及存储介质。该方法包括：执行所述设计的测试，所述测试包括多个测试段，所述多个测试段包括一个目标测试段和多个非目标测试段；在所述测试过程中获取多个标记信息；根据给定保存密度保存所述多个标记信息用于回溯...

本申请涉及数据存储技术领域，具体公开了一种存储及从波形数据库读取逻辑系统设计的仿真数据的方法，所述方法包括：根据所述逻辑系统设计确定与所述逻辑系统设计对应的结构树文件，所述结构树文件包括多个级别的多个模块以及与所述多个模块对应的信号的多...