“金俏慧”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果10个，建议您升级VIP下载更多相关专利

[发明专利]一种目标文件部分加载系统-CN202310597926.2在审
发明人：汤杰;高波;金俏慧 -专利权人：成都融见软件科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-05-25 - 公布日： 2023-10-27 - 主分类号： G06F9/445 文献下载
摘要：本发明涉及电子设计自动化技术领域，特别是涉及一种目标文件部分加载系统，该系统的数据库中包括索引文件，索引文件包括M1个按照设计模块身份标识划分的索引模块，每个索引模块包括设计模块身份标识和多个覆盖指标组，每个覆盖指标组包括覆盖指标类型和设计模块在目标文件中的位置信息；加载时根据该索引文件得到设计模块在覆盖指标文件中的位置信息，并根据该位置信息加载覆盖指标文件中的相应设计模块，在此过程中索引文件的访问只占用一个IO接口，并且能够使用户在指定对应的设计模块或者实例时快速从索引文件中获取相应设计模块在目标文件中的位置范围，进而加载该位置范围内的数据块，解决了访问数据库时数据加载慢的技术问题。
一种目标文件部分加载系统

[发明专利]一种数据库部分加载系统-CN202310597923.9在审
发明人：汤杰;高波;金俏慧 -专利权人：成都融见软件科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-05-25 - 公布日： 2023-09-29 - 主分类号： G06F9/445 文献下载
摘要：本发明涉及电子设计自动化技术领域，特别是涉及一种数据库部分加载系统，该系统的数据库中包括按照覆盖指标分类的N个索引文件，每个索引文件中包括多个设计模块索引数据块，每个设计模块索引数据块中包括设计模块身份标识及其在覆盖指标文件中的位置信息；在进行加载时，根据用户指定的对象获取相应的设计模块身份标识和覆盖指标类型，并通过索引文件查找设计模块在覆盖指标文件中的位置信息，根据查找到的位置信息加载覆盖指标文件中的数据块；通过索引文件和覆盖指标文件之间的配合，达到部分加载的目的，大幅度减少了加载的数据量，解决了在根据用户指定对象访问数据库时数据加载慢的技术问题。
一种数据库部分加载系统

[发明专利]一种数据定位系统-CN202310597917.3在审
发明人：汤杰;高波;金俏慧 -专利权人：成都融见软件科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-05-25 - 公布日： 2023-08-22 - 主分类号： G06F16/22 文献下载
摘要：本发明涉及电子设计自动化技术领域，特别是涉及一种数据定位系统，该系统的数据库中包括映射文件sdb、索引文件indxf和覆盖指标文件item，首先将映射文件sdb和索引文件indxf读入内存；然后通过用户指定的第一目标对象首先通过sdb获取设计模块身份标识，然后通过indxf获取设计模块在item中的行范围信息，然后根据行范围信息读取覆盖指标文件中的数据块，最后根据用户指定的目标设计模块获取已读入数据块中所携带的源文件位置信息实现在源文件中定位目标设计模块相应行的目的，解决了现有技术中在用户指定的情况下也需要重新将整个数据库文件读入内存，导致系统性能慢的技术问题。
一种数据定位系统

[发明专利]一种覆盖率存储系统-CN202310597920.5在审
发明人：汤杰;高波;金俏慧 -专利权人：成都融见软件科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-05-25 - 公布日： 2023-08-22 - 主分类号： G06F16/22 文献下载
摘要：本发明涉及电子设计自动化技术领域，特别是涉及一种覆盖率存储系统，该系统在存储覆盖率数据时，将覆盖值存储于覆盖数据中，并且建立了覆盖项类型标识、覆盖项数量和覆盖值字段之间的映射关系，通过覆盖值和覆盖数量确定在覆盖值中有效数据的位数以及每位的覆盖状态，覆盖类型标识表示当前覆盖值所属的覆盖指标；并且在覆盖率数据块中还包括实例身份标识，通过实例身份标识能够唯一的确定其对应的设计模块标识，不仅能够通过建立覆盖指标文件和覆盖数据文件之间的关联关系，以便计算覆盖率，而且在此基础上解决了标准UCIS数据库整体读入内存的问题以及在执行测试用例时也不会篡改覆盖指标的结构化数据的问题。
一种覆盖率存储系统

[发明专利]一种覆盖指标的结构化数据离散存储系统-CN202310597901.2在审
发明人：汤杰;高波;金俏慧 -专利权人：成都融见软件科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-05-25 - 公布日： 2023-08-22 - 主分类号： G06F16/22 文献下载
摘要：本发明涉及电子设计自动化技术领域，特别是涉及一种覆盖指标的结构化数据离散存储系统，该系统包括N个覆盖指标文件，每个覆盖指标文件为一类覆盖指标对应的设计模块的结构化数据存储文件，在覆盖指标存储文件中包括M1个设计模块数据块、M2个指标覆盖域数据块和M3个覆盖项数据块，其中指标覆盖域数据块和覆盖项数据块之间通过绑定标识建立层次结构关系，由于离散存储系统中的数据块离散存储，同时又通过绑定标识建立数据块之间的层次结构，在保证数据之间层次结构的同时又实现离散化存储，解决了标准UCIS数据库中由于数据库是一个整体必须将整个数据库读入内存才能建立层级关系的技术问题。
一种覆盖指标结构数据离散存储系统

[发明专利]一种数据可视化定位系统-CN202310597909.9在审
发明人：汤杰;高波;金俏慧 -专利权人：成都融见软件科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-05-25 - 公布日： 2023-08-22 - 主分类号： G06F9/451 文献下载
摘要：本发明涉及电子设计自动化技术领域，特别是涉及一种数据可视化定位系统，该系统的数据库中包括覆盖指标文件和扩展信息文件，其中覆盖指标文件包括对象的身份标识，扩展信息文件包括关联身份标识和对象在源文件中的位置信息；在进行定位时根据用户选择的第一目标对象和索引文件获取设计模块分别在覆盖指标文件中的位置信息和在扩展信息文件中的位置信息；根据位置信息，将覆盖指标数据块和扩展数据块加载至内存；查找用户指定的第二目标对象在源文件中的位置，并进行准确定位，在加载的过程中只需要加载相应的设计模块，不需要加载整个数据库的文件，减少加载的数据量，降低内存资源的占用。
一种数据可视化定位系统

[发明专利]一种部分加载目标文件的方法-CN202310597938.5在审
发明人：汤杰;高波;金俏慧 -专利权人：成都融见软件科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-05-25 - 公布日： 2023-08-18 - 主分类号： G06F9/445 文献下载
摘要：本发明涉及电子设计自动化技术领域，特别是涉及一种部分加载目标文件的方法，该方法通过加载一个索引文件mmetrindex，在该索引文件中每一种类型的覆盖指标为一个索引单元，在每个索引单元中包括N1个以设计模块身份标识为分组依据的模块信息组，在加载索引文件时仅需要加载一个索引文件，并且根据用户指定设计模块或者实例时获取设计模块在目标文件中的位置范围，以便在加载时加载该位置范围内的数据块，达到部分加载的目的；本发明减少了索引文件中存储的大量相同信息，解决了索引文件中数据量大加载慢的技术问题。
一种部分加载目标文件方法

[发明专利]一种覆盖率获取方法-CN202310597915.4在审
发明人：汤杰;高波;金俏慧 -专利权人：成都融见软件科技有限公司;上海合见工业软件集团有限公司
申请日： 2023-05-25 - 公布日： 2023-08-18 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及电子设计自动化技术领域，特别是涉及一种覆盖率获取方法，该方法通过获取覆盖率数据文件，在覆盖率数据文件中包括每个实例的覆盖率数据块，每个覆盖率数据块中包括实例身份标识和覆盖数据，覆盖数据包括覆盖项身份标识、覆盖想数量和覆盖值；根据实例身份标识和覆盖项指标类型得到覆盖指标文件，并根据覆盖指标文件配置的索引标识，依次从覆盖率数据文件的覆盖率数据块中获取覆盖状态标识，进而根据覆盖状态标识计算覆盖率，通过该方式不仅能够计算覆盖率，而且能够使覆盖指标的结构化数据和覆盖率数据分开存储，解决了标准UCIS数据库中整体读入内存的问题以及覆盖指标数据容易被篡改的问题。
一种覆盖率获取方法

[发明专利]一种提取有限状态机中状态变化的方法及系统-CN202211268899.6有效
发明人：汤杰;高波;金俏慧 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司
申请日： 2022-10-17 - 公布日： 2023-05-05 - 主分类号： G06F30/367 文献下载
摘要：本发明涉及电子设计技术领域，具体涉及一种提取有限状态机中状态变化的方法及系统，所述方法包括：当过程块间的交集参数为空时，分别获取过程块Pi与自身的输入参数的交集，得到过程块自身的交集参数；在交集参数不为空时，判断交集参数是否为条件输入参数，当过程块Pi为第一类进程块且交集参数属于条件输入参数时，将属于条件输入参数的交集参数提取为有限状态机的状态参数；遍历包含状态参数的每个自循环过程块，提取每个自循环过程块中的状态变化，相对于人工提取不仅能够提高提取状态变化的效率，而且能够防止由于人工提取导致遗漏或者错记状态变化的问题，提高了提取状态变化的准确率。
一种提取有限状态机状态变化方法系统

[发明专利]一种基于有限状态机的状态变化提取方法及系统-CN202211269347.7有效
发明人：汤杰;高波;金俏慧 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司
申请日： 2022-10-17 - 公布日： 2022-12-13 - 主分类号： G06F9/448 文献下载
摘要：本发明涉及电子设计技术领域，具体涉及一种基于有限状态机的状态变化提取方法及系统，该方法包括：获取所有过程块的输入参数和输出参数；遍历所有过程块，根据是否包含上升沿信号或下降沿信号将过程块分为边沿触发的第一类过程块和非边沿触发的第二类过程块；根据每个过程块的输入参数和输出参数获取过程块的有向图数据，检测过程块的有向图数据，获取包括一个第一类过程块的过程块环路；根据每个过程块环路中所有过程块输入参数和输出参数的交集，获取状态参数；基于过程块环路，遍历包含状态参数的每个过程块，提取状态变化，相对于人工提取和记录的方式，不仅提高工作效率，而且解决了遗漏或错记状态变化的问题，提高提取状态变化的准确性。
一种基于有限状态机状态变化提取方法系统

1
共 10 条