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

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

[发明专利]一种缓存一致性验证方法、装置、设备以及存储介质-CN202310641321.9在审
发明人： 沈秀红;刘扬帆 -专利权人：合芯科技有限公司;合芯科技（苏州）有限公司
申请日： 2023-05-31 - 公布日： 2023-09-19 - 主分类号： G06F12/0815 文献下载
摘要：本申请是关于一种缓存一致性验证方法、装置、设备以及存储介质，应用于基于AMBA CHI协议的多核系统，所述方法包括分别获取目标缓存中目标缓存行的目标状态类型以及第一缓存中第一缓存行的待验证状态类型；目标缓存与第一缓存隶属不同的内核，目标缓存行与第一缓存行均存储有相同数据地址下的数据；根据目标状态类型，匹配目标状态类型对应的状态转换规则；状态转换规则用于指示目标缓存行在目标状态类型下，第一缓存行满足缓存一致性的状态类型以及数据一致性；根据状态转换规则、待验证状态类型以及第一缓存行中存储的数据，验证多核系统是否满足缓存一致性，得到验证结果，并返回验证结果。实现了验证基于AMBA CHI协议的多核系统的缓存一致性。
一种缓存一致性验证方法装置设备以及存储介质

[发明专利]一种二级缓存的数据检测方法、系统及计算机设备-CN202310638726.7在审
发明人： 沈秀红;刘扬帆;施葹 -专利权人：合芯科技有限公司;合芯科技（苏州）有限公司
申请日： 2023-05-31 - 公布日： 2023-08-25 - 主分类号： G06F11/30 文献下载
摘要：本发明涉及计算机技术领域，尤其涉及一种二级缓存的数据检测方法、系统及计算机设备，包括：将激励产生器生成的请求打包成请求数据包后，存入与请求的类型对应的请求队列；请求包括取指请求、访问请求、存储请求和地址转换请求；监测并获取二级缓存中与请求对应的关键信息，以从请求队列中查找与关键信息具有相同请求标识的请求数据包；根据查找到的请求数据包访问内存模型，并将从内存模型中获取的数据与关键信息进行比较，若数据不一致，则报错；将经过比较后的请求数据包从请求队列中删除。本发明通过监测少量的请求关键信息实现快速有效地定位二级缓存读写数据的错误，并通过对读写请求执行顺序的检测，使其满足地址相关性要求。
一种二级缓存数据检测方法系统计算机设备

[发明专利]一种缓存替换控制方法及装置-CN202310721710.2在审
发明人：施葹;苟鹏飞;刘扬帆;陆泳;沈秀红;徐越;王贺 -专利权人：合芯科技有限公司;上海合芯数字科技有限公司
申请日： 2023-06-16 - 公布日： 2023-08-25 - 主分类号： G06F12/12 文献下载
摘要：本申请属于缓存技术领域，公开了一种缓存替换控制方法及装置；该方法包括：步骤S1，接收缓存替换请求，并获取寄存器信息；步骤S2，基于缓存替换请求和寄存器信息运行若干个缓存替换模式，得到若干个替换结果；步骤S3，若替换结果的数量大于预设数值，则根据预设的模式优先级对各替换结果进行覆盖，得到目标替换结果。本申请能够提高缓存替换控制单元中产生的缓存替换结果的可靠性。
一种缓存替换控制方法装置

[发明专利]可加速Device属性内存的验证方法及系统-CN202211501976.8在审
发明人： 沈秀红 -专利权人：广东赛昉科技有限公司
申请日： 2022-11-28 - 公布日： 2023-05-09 - 主分类号： G06F11/22 文献下载
摘要：本发明涉及CPU技术领域，具体涉及一种可加速Device属性内存的验证方法及系统，本发明对Device地址属性的Forward和Merge特性进行单独建模；验证时，通过Forward模型监测DUT流水线上的查询信息，同时抓取DUT中各个单元的地址和大小信息，并进行比较，若不同，则报错；通过Merge模型监测DUT中新的写数据请求，同时抓取DUT中各个单元的地址和大小信息，并进行比较，若不同，则报错。本发明针对可加速Device地址属性的读写传输进行验证，可加速Device地址属性具有可Forward和Merge的特性，本发明对Forward和Merge的特性进行单独建模，能快速有效的判断DUT的Forward和Merge逻辑是否正确，准确的报出错误的逻辑和时间点，大大缩短了调试的时间，提高了调试效率。
加速 device 属性内存验证方法系统

[发明专利]法兰轴定位环和弹簧垫圈夹取安装机构及其使用方法-CN202211057476.X在审
发明人：涂俊琴;曾志辉;沈秀红 -专利权人：东风马勒热系统有限公司
申请日： 2022-08-31 - 公布日： 2022-12-09 - 主分类号： B25B27/30 文献下载
摘要：本发明涉及硅油风扇制造技术领域，公开了一种法兰轴定位环和弹簧垫圈夹取安装机构，包括法兰轴固定位、定位环上料台、弹簧垫圈上料台和机器人，机器人上安装有夹爪机构，夹爪机构包括安装在机器人上的夹爪气缸，夹爪气缸连有至少三个用于夹持的夹爪，夹爪气缸的下方设有定位块，定位块位于夹爪之间，定位块的下端设有中心定位筒，中心定位筒的外径小于定位环和弹簧垫圈的内径。本发明还公开了一种法兰轴定位环和弹簧垫圈夹取安装机构的使用方法。本发明法兰轴定位环和弹簧垫圈夹取安装机构及其使用方法，自动放置定位环和弹簧垫圈至法兰轴上，且能够防止定位环漏装。
法兰定位弹簧垫圈安装机构及其使用方法

[发明专利]一种写穿策略下多核系统的验证方法和系统-CN202210659741.5在审
发明人： 沈秀红 -专利权人：广东赛昉科技有限公司
申请日： 2022-06-13 - 公布日： 2022-10-18 - 主分类号： G06F9/30 文献下载
摘要：本发明属于计算机技术领域，且公开了一种写穿策略下多核系统的验证方法，包括访问指令与存储指令，该写穿策略下多核系统的验证方法具体步骤如下：一级缓存为写穿策略时，访问指令在验证系统中的执行流程：S1、指令发生器发送指令到多核验证系统，访存指令控制器若判断指令类型为访问指令，则将该指令存入相应核的访问指令队列。本发明的验证系统能够支持多核系统下一级缓存配置为写穿策略时的访问/存储指令的验证，验证的关键是准确的把握访问/存储指令的perform时间点，访问指令的perform时间点为DUT中访存执行单元送出取得的数据的时刻，存储指令的perform时间点有两个，一个是数据写入一级缓存的时间点，另一个是数据写入二级缓存的时间点。
一种策略多核系统验证方法

[实用新型]一种用于生物监测系统的前处理装置-CN202120916706.8有效
发明人：杨仁凯;代伟;姜源;刘继成;陶辉;姚帅;廖宏翔;魏敏华;杨霞;廖小强;沈秀红 -专利权人：重庆水务集团股份有限公司
申请日： 2021-04-29 - 公布日： 2022-10-18 - 主分类号： G01N1/28 文献下载
摘要：本实用新型公开了一种用于生物监测系统的前处理装置，包括一上方具有开口的检测箱，该检测箱的一侧设有进水口，在检测箱的另一侧设有出水口；在检测箱的上部还设有一检测口，在检测口处连接有一单向阀门；还包括一曝气装置，所述曝气装置包括充气泵、进气管和曝气管，在检测箱开口处设有密封塞，所述进气管的一端与充气泵相连，另一端穿过所述密封塞后延伸至靠近检测箱的底部，并与所述曝气管相连。本实用新型能够方便快速的对出水的臭味及余氯进行检测，从而确保出水的臭味和余氯浓度满足自来水的出水标准，确保出水符合标准。
一种用于生物监测系统处理装置

[发明专利]硅油风扇扇叶注塑全自动化机械手夹具-CN202210908511.8在审
发明人： 沈秀红;曾志辉;刘重高 -专利权人：东风马勒热系统有限公司
申请日： 2022-07-29 - 公布日： 2022-09-23 - 主分类号： B29C45/14 文献下载
摘要：本发明涉及一种硅油风扇扇叶注塑全自动化机械手夹具，包括型材支架、嵌件夹取机构、伸缩气缸机构、扇叶夹取机构和水口料夹取机构，型材支架一端设有嵌件夹取机构，另一端设有扇叶夹取机构和水口料夹取机构；所述嵌件夹取机构设置在型材支架正面，扇叶夹取机构和水口料夹取机构设置在型材支架反面；伸缩气缸机构固定在型材支架，与水口料夹取机构连接，驱动水口料夹取机构沿型材支架上的导轨运动；通过旋转水口夹角度，可实现所有规格扇叶水口料的夹取，达到夹具通用，换型不换夹具，提升效率；通过前后两级气缸机构，可实现扇叶水口料与扇叶同时夹取，达到缩短节拍；通过上下伸缩气缸机构，可实现放置扇叶至料车上时避免干涉，达到自动装车。
硅油风扇注塑自动化机械手夹具

[发明专利]多核系统中非对齐访问的验证方法及系统-CN202210671686.1在审
发明人： 沈秀红 -专利权人：广东赛昉科技有限公司
申请日： 2022-06-14 - 公布日： 2022-09-16 - 主分类号： G06F12/0811 文献下载
摘要：本发明涉及处理器技术领域，具体涉及一种多核系统中非对齐访问的验证方法及系统，包括访问指令信息采集器，存储指令信息采集器，访问指令控制器，存储指令控制器，访问指令队列，存储指令队列，内存模型和比较器。本发明适用于多核系统，多核系统中存在多个核正在进行非对齐访问的情况，且要保证数据一致性，本验证方法能很好的解决数据一致性的问题，在验证非对齐访问的同时，验证硬件的数据一致性是否正确。对于本发明若非对齐访问的地址属性是可缓存的，则数据可以从本核缓存中读取，写数据最后也是写入本核缓存中，若非对齐地址属性是不可缓存的，数据需要从外设读取，写数据最后写入外设中，支持不同地址属性的非对齐访问验证。
多核系统中非对齐访问验证方法

[发明专利]一种实现多核缓存一致性验证的方法-CN202111353501.4在审
发明人： 沈秀红 -专利权人：广东赛昉科技有限公司
申请日： 2021-11-16 - 公布日： 2022-04-29 - 主分类号： G06F11/22 文献下载
摘要：本发明公开了一种实现多核缓存一致性验证的方法，包括以下步骤：S1、当一个核更新缓存行到M状态时，检查该缓存行是否存在在其他核的缓存中；S2、当个核更新缓存行到E状态时，检查该缓存行是否存在在其他核的缓存中；S3、当一个核更新缓存行到S状态时，检查该缓存行是否存在在其他核的缓存中，若其他核的状态是S，则检查两个核的缓存行数据是否一致，同时检查与内存中的数据是否一致；S4、当一个核更新缓存行到I状态时，其他核在任何状态都有可能，不需要检查。根据本发明，通过监测一级缓存和二级缓存的更新信息，同时通过查看内存中的数据，能够保证缓存遵守MESI一致性协议，同时能够保证数据的正确性。
一种实现多核缓存一致性验证方法

[发明专利]RISCV指令集中LRSC指令的验证方法及系统-CN202111541832.0在审
发明人： 沈秀红 -专利权人：广东赛昉科技有限公司
申请日： 2021-12-16 - 公布日： 2022-03-25 - 主分类号： G06F11/22 文献下载
摘要：本发明涉及处理器技术领域，具体涉及一种RISCV指令集中LRSC指令的验证方法及系统，包括单核信号采集器，多核信号采集器，LR指令队列，SC指令队列，单核控制器，多核控制器，本地监测器，全局监测器，内存模型和比较器；本发明支持LRSC指令，若LRSC指令的地址属性是可缓存的，则抢锁的相关操作在本地监测器维护，每个核都有自己独立的本地监测器，核与核之间通过数据一致性的操作来进行抢锁操作。若LRSC指令的地址属性是不可缓存的，则抢锁的相关操作在全局监测器维护，全局监测器只有一个，监测所有核的LRSC访问，并返回访问结果。通过本验证方法，能有效且准确地判断DUT抢锁操作是否准确，并适用于所有RISCV架构的处理器验证。
riscv 指令集中 lrsc 验证方法系统

[发明专利]一种处理器中内存消歧的验证方法及系统-CN202111541836.9在审
发明人： 沈秀红 -专利权人：广东赛昉科技有限公司
申请日： 2021-12-16 - 公布日： 2022-03-25 - 主分类号： G06F11/07 文献下载
摘要：本发明涉及处理器技术领域，具体涉及一种处理器中内存消歧的验证方法及系统，本发明通过监测DUT中load指令和store指令的执行信息，对单核、多核及非对齐访问引起的内存消歧逻辑进行验证，通过比较DUT的内存消歧结果和检查器的内存消歧结果，判断是否需要重刷流水线以及从哪条指令开始重刷。本发明针对内存消歧的逻辑进行验证，同时支持单核和多核的内存消歧。内存消歧的最终结果是是否需要重刷流水线，以及从哪条指令开始重刷，本验证方法对于这两点能做到精确验证，若重刷流水线信息与DUT不一致，会立即报错误信息，能帮助验证人员快速有效地调试代码。
一种处理器内存验证方法系统

[发明专利]多核访存指令验证系统与方法-CN202111352963.4在审
发明人： 沈秀红 -专利权人：广东赛昉科技有限公司
申请日： 2021-11-16 - 公布日： 2022-03-25 - 主分类号： G06F9/312 文献下载
摘要：本发明涉及处理器技术领域，具体涉及一种多核访存指令验证系统与方法，包DUT监测器、访问指令队列、存储指令队列、访存指令控制器、存储缓冲器、内存模型、访问数据比较器、存储数据比较器、原子指令比较器和二级缓存比较器。本发明支持多核多cluster的访存指令验证，并且核和cluster的个数可配，做到了参数化，具有可扩展性。支持在多核系统中，实时比较每个核的访存指令执行的正确性，包括在访问指令提交时，比较访问得到数据的正确性，在存储指令更新cache时，比较写数据的正确性。支持多核系统中原子操作指令的验证，支持多cluster系统中二级缓存关键接口的验证，具有很强的市场应用前景。
多核指令验证系统方法

[发明专利]一种二级缓存接口协议的验证方法及系统-CN202111529312.8在审
发明人： 沈秀红 -专利权人：广东赛昉科技有限公司
申请日： 2021-12-14 - 公布日： 2022-03-08 - 主分类号： G06F11/26 文献下载
摘要：本发明涉及多核验证技术领域，具体涉及一种二级缓存接口协议的验证方法及系统，本发明对读数据检查时，记录每次读请求的关键信息，并在读数据返回时将内存模型的数据与DUT数据进行比较，进行唤醒请求检查时通过协议约定进行检查；所述方法对D或C通道数据检查时，将内存模型的数据与DUT数据进行比较，对B/C通道进行合理性检查时，根据二级缓存内容判定。本发明针对二级缓存接口协议进行验证，当协议中的数据出错时，实时报出错误信息，不用等到全局检查器报错，能够更有效快速的定位错误代码，提高调试效率。
一种二级缓存接口协议验证方法系统

[实用新型]一种自来水厂出水监测用生物水箱-CN202120915394.9有效
发明人：杨仁凯;刘继成;姜源;代伟;廖小强;沈秀红;姚帅;廖宏翔;魏敏华;陶辉;杨霞 -专利权人：重庆水务集团股份有限公司
申请日： 2021-04-29 - 公布日： 2021-12-03 - 主分类号： A01K63/04 文献下载
摘要：本实用新型公开了一种自来水厂出水监测用生物水箱，包括水箱本体，在水箱本体设有一挡板，还设有溢流管道、曝气装置和排水排渣装置；所述溢流管道和曝气装置位于挡板靠近进水口的一侧；所述曝气装置包括充气泵、进气管和曝气管，所述进气管的一端与充气泵相连，另一端延伸至水箱本体的底部，并与所述曝气管相连；所述排水排渣装置包括隔水罩和排污管道，排污管道的上端位于进水口的下方；隔水罩的下端从排污管道的上端套入，并向下延伸至靠近水箱本体的底部，且排污管道的上端与隔水罩的上端之间具有间隙。本实用新型能够对出水中的臭气和余氯进行处理，并增加出水内的氧气，并且能够实现生物水箱的自动清理。
一种自来水厂出水监测生物水箱

1
2
3
下一页»
尾页
共 37 条