CN101833606A - 一种集成电路设计验证方法 - Google Patents
一种集成电路设计验证方法 Download PDFInfo
- Publication number
- CN101833606A CN101833606A CN 201010163114 CN201010163114A CN101833606A CN 101833606 A CN101833606 A CN 101833606A CN 201010163114 CN201010163114 CN 201010163114 CN 201010163114 A CN201010163114 A CN 201010163114A CN 101833606 A CN101833606 A CN 101833606A
- Authority
- CN
- China
- Prior art keywords
- state machine
- transaction
- machine structure
- affairs
- structure model
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
本发明涉及一种集成电路设计验证方法,包括如下步骤:把提取于系统规格书或设计需求中包含事务级资源检查表和控制所述事务的顺序流程,通过记录和算法映射到状态机结构体模型中;通过状态机结构体模型产生事务级测试用例;所述事务级测试用例作为测试平台的测试向量,实现集成电路的设计验证。本发明将整合的设计要求信息映射到状态机结构体模型,自动产生事务级测试用例,提升了验证效能,将设计验证人员从大量重复性的工作中解放出来。
Description
技术领域 本发明涉及一种集成电路设计验证方法。
背景技术 IC芯片设计包括设计部分和验证部分,其中验证部分大约要消耗整个设计项目资源(时间、人力等)的70%。而且随着设计复杂度的不断提升,需要的测试用例呈几何倍数增长,单凭人力的思考和记录难以全面制造出测试用例,难以达到合适的功能测试覆盖率,而覆盖率的高低直接影响到流片风险的大小。所以我们迫切需要一种能够减轻手动编写测试用例工作量的方法,将设计验证人员从大量重复性的工作中解放出来。
发明内容 本发明的主要目的在于提供一种集成电路设计验证方法,这种状态机结构体模型自动遍历产生测试用例的方法,将系统规格书或设计需求中原始数据提取为具有独立功能的事务和控制事务的顺序流程,将整合的信息映射到状态机结构体模型,自动产生事务级测试用例。状态机结构体模型通过对整个测试用例产生过程的控制,调整测试用例的结构和顺序,不断向合适功能覆盖率逼近。
本发明公开了一种集成电路设计验证方法,包括如下步骤:
第一步,把提取于系统规格书或设计需求的事务级资源检查表和控制事务的顺序流程,通过记录和算法映射到状态机结构体模型中;
第二步,通过状态机结构体模型自动产生事务级测试用例;
第三步,所述事务级测试用例作为测试平台Testbench的测试向量,实现集成电路的设计验证。
本发明公开的验证方法,还包括如下从属技术特征:
在所述第二步中,状态机结构体模型首先通过调度事务的状态机模块对所述事务进行调度和控制,调整所述事务的顺序流程,产生输入激励的队列。
在所述第二步中,所述状态机结构体模型特色之一是具有一份状态机被生成器和参考模型检查器同时可以使用的属性。通过生成器把所述输入激励的队列发送给参考模型检查器,所述参考模型检查器监控所述生成器发出的信息。
在所述第二步中,所述生成器还根据监听到的测试用设计模块的反馈信息,调整所述输入激励的队列的产生过程;所述参考模型检查器还对比所述测试用设计模块输出的反馈信息。
在所述第二步与第三步之间还包括以下步骤:A、覆盖率统计模块通过记录、统计所述状态机结构体模型中状态机模块包含的状态列表覆盖率和状态转换列表覆盖率,以及事务相关的标签列表覆盖率来评估覆盖程度,并反馈给状态机结构体模型本身。
在所述第二步中,所述生成器代码和参考模型检查器代码通过在计算机软件(例如VCS等)平台上的运行产生事务级测试用例。
在所述第一步中,所述事务级资源检查表是一个输入敏感量表、输出敏感量表、内部敏感量表和功能函数表。
在所述第一步中,所述控制事务的顺序流程是所述事务级资源检查表具体事务的传输过程。
本发明公开的一种集成电路设计验证方法,将整合的设计要求信息映射到状态机结构体模型,自动产生事务级测试用例。状态机结构体模型通过对整个测试用例产生过程的控制,调整测试用例的结构和顺序,不断向更高功能覆盖率逼近。本发明把状态机结构体模型与事务级资源检查表和调度事务的顺序控制模块相结合,通过状态机结构体模型的调度、控制、产生所有事务级的测试用例,提升验证效能。本发明通过对状态机结构体模型中调度事务的状态机和传输事务的覆盖保证了整个验证中的规格书所涉及功能的覆盖率。本发明能够不断反馈、调节测试用例,不断逼近合格的覆盖率,在验证中达到事半功倍的效果。
附图说明
图1为本发明的集成电路设计验证方法总体架构图。
图2为本发明的集成电路设计验证方法中定序器的架构图。
图3为本发明的集成电路设计验证方法中定序器到状态机结构体模型的具体映射示意图。
图4为本发明的状态机结构体模型的生成器、参考模型检查器与测试用设计模块DUT(Design Under Test)的验证方案。
图5为本发明的不含DUT的状态机结构体模型的生成器、参考模型检查器验证方案。
图6为本发明的状态机结构体模型根据覆盖率统计模块反馈而修正的流程图。
图7为本发明的事务级测试用例的结构示意图。
具体实施方式 下面结合附图和具体实施方式对本发明作进一步详细说明。此处所描述的具体实施例不是对本发明的限定,而是对本发明的解释。
如图1所示为本发明的集成电路设计验证方法的总体架构图,图1中100为系统规格书或设计需求Specification/Requirement,101为定序器Sequencer,102为状态机结构体模型StateMachineConstruct,103为测试平台Testbench的代码TB(Testbench)Code,104为覆盖率统计模块Coverage,105为测试用例Testcase。本发明将系统规格书或设计需求100中原始数据提取为具有独立功能的事务级资源检查表和控制事务的顺序流程,将整合的信息映射到状态机结构体模型102,自动产生事务级测试用例105。
从系统规格书或设计需求Specification/Requirement 100到定序器Sequencer 101的过程,是通过人工分析系统规格书或设计需求100Specification/Requirement获得定序器Sequencer 101。
系统规格书或设计需求Specification/Requirement 100由系统设计人员提供,或者是需要设计实现的产品标准。在这个过程中,系统规格书或设计需求Specification/Requirement 100作为原始的材料,包括了所有的信息,将这些信息记录、归类、整合可以得出资源信息-事务级资源检查表Checklist和控制信息-调度事务的顺序控制模块Sequence_Control,这两部分之和称为定序器Sequencer 101。
如图2所示为本发明的集成电路设计验证方法中定序器的架构图。定序器Sequencer 101包括调度事务的顺序控制模块Sequence_Control 201和事务级资源检查表Checklist 202两大部分。事务级资源检查表Checklist 202是一簇彼此独立又关联的功能模块集,这些模块在时序上受调度事务的顺序控制模块Sequence_Control 201的控制,调度事务的顺序控制模块Sequence_Control 201通过对事务级资源检查表Checklist的合理调度可以完成某项具体的事务。事务级资源检查表Checklist在事务级上的整合和衔接,配合调度事务的顺序控制模块Sequence_Control 201的调度,通过记录和算法映射到状态机结构体模型StateMachineConstruct 102。
如图3所示为本发明的集成电路设计验证方法中定序器Sequencer101到状态机结构体模型StateMachineConstruct 102的具体映射方法示意图,定序器Sequencer 101通过算法映射获得状态机结构体模型StateMachineConstruct 102,完成映射的方法可以通过数据库或人工干预进行计算。
定序器Sequencer 101包含调度事务的顺序控制模块Sequence Control 201和事务级资源检查表Checklist 202,事务级资源检查表Checklist 202包含事务Transaction 300、标签列表Tag_List 301。标签列表Tag_List 301是一组用来描述Transaction 300中不同字段(如地址、数据等)属性的标签,可以看作是不同角度对事务Transaction 300的描述。
事务Transaction 300指具体的事务级信息交互过程,可以是两个、多个功能模块间的信息交互。
调度事务的顺序控制模块Sequence_Control 201负责调度整个事务级信息交互过程,保证过程的有序、合法进行。
状态机结构体模型StateMachineConstruct 102包含调度事务的状态机StateMachine302、事务Transaction 300和产生输入激励的队列Queue 303。调度事务的状态机StateMachine 302作为事务Transaction 300的调度和控制,输入激励的队列Queue 303存放调整顺序后的事务Transaction 300,作为测试平台Testbench的测试用例Testcase。
下面详细描述状态机结构体模型StateMachineConstruct 102到测试平台Testbench的代码TB Code 103的过程。根据测试平台Testbench的代码TB Code 103验证环境代码的具体情况,图4为本发明的状态机结构体模型与DUT在有测试用设计模块DUT时,生成器Gen_SMC(Generator StateMachineConstruct)、参考模型检查器RM_Checker_SMC(ReferenceModule Checker StateMachineConstruct)和DUT的验证方案。这里测试用设计模块DUT的作用是最终评估本验证方法作用和效能的对象,Testcase是要注入到其中。图5为本发明的不含DUT时,生成器Gen_SMC和参考模型检查器RM_Checker_SMC的验证方案。
如图4和图5所示,状态机结构体模型StateMachineConstruct 102在验证平台上划分为生成器Gen_SMC和参考模型检查器RM_Checker_SMC两份状态机结构体模型StateMachineConstruct代码。生成器Gen_SMC主控测试用例Testcase的发送和监听DUT的反馈信息,以调整Testcase的输入顺序和其他的关系。参考模型检查器RM_Checker_SMC收到生成器Gen_SMC发出的Testcase后,做出相应筛选、标记等行为,与DUT输出的行为对比,对比过程由计算机程序完成。
这里StateMachineConstruct是数学模型,TB Code 103是在实际软件上写的代码,从StateMachineConstruct模型可以编写出TB Code 103。换言之,TB Code 103代码包含两部分:生成器Gen_SMC代码和参考模型检查器RM_Checker_SMC代码。
下面详细描述状态机结构体模型StateMachineConstruct 102到覆盖率统计模块Coverage104的过程。如图6所示为本发明的状态机结构体模型根据覆盖率反馈的流程图。通过记录、统计状态机结构体模型StateMachineConstruct 102中调度事务的状态机StateMachine 302模块包含的状态列表State覆盖率和状态转换列表State_Transition覆盖率,事务Transaction 300模块中的标签列表Tag_List301覆盖率可以评估整个验证的覆盖程度。从而统计出所有State和State_Transition的覆盖率,也就是调度事务的状态机StateMachine的覆盖包括所有State、所有State_Transition的覆盖;事务Transaction的覆盖包括所有Tag_List的覆盖、所有传输事务Transaction的覆盖。
下面详细描述测试平台Testbench的代码TB Code 103到测试用例Testcase 105过程。以状态机结构体模型StateMachineConstruct 102为原型的生成器Gen_SMC和参考模型检查器RM_Checker_SMC的代码通过在计算机软件(例如VCS等)平台上的运行产生事务级Testcase 105。
如图7所示为本发明的事务级的测试用例的结构示意图,测试用例Testcase中包括多组不同的事务。
为了在项目早期就能对功能测点进行全面完整的分析,同时对测试用例进行有效的预测和管理,提高功能验证的自动化程度,本发明提供了一种基于状态机结构体模型自动产生测试用例的验证方法。本状态机结构体模型自动遍历模型验证方法的资源来源于系统规格书或设计需求Specification/Requirement,通过对系统规格书或设计需求Specification/Requirement的分析、整合,提取出定序器Sequencer,其中包括事务级资源检查表Checklist和调度事务的顺序控制Sequence_Control,将定序器Sequencer经过记录、算法映射到状态机结构体模型StateMachineConstruct中。
状态机结构体模型StateMachineConstruct由三部分构成:负责控制、调度事务的状态机StateMachine、不同传输类型的事务Transaction和作为DUT输入激励的队列Queue。
从验证平台角度该状态机结构体模型特色之一是具有一份状态机被生成器和参考模型检查器同时可以使用的属性。
评估该验证方法效能的依据为状态机结构体模型StateMachineConstruct映射到覆盖率统计模块Coverage的过程,称之为反馈机制。通过记录、统计状态机结构体模型StateMachineConstruct中各个模块的覆盖率可以预估该方法测试用例的覆盖情况,并通过干预、调整状态机结构体模型StateMachineConstruct不断使其产生的测试用例向合格的覆盖率逼近。
在本发明的实施例中,本方法包括对系统规格书或设计需求Specification/Requirement功能点进行结构化分析,将信息按照思路记录模型记录下来。通过系统规格书或设计需求Specification/Requirement中的信息记录、分析、整理、归纳,提取出对应事务级资源检查表Checklist和控制事务级资源调度事务的顺序控制Sequence_Control。我们认为所有事务级功能模块的基本单位是一个包含输入敏感量表input_sensitivity_list、输出敏感量表output_sensitivity_list、内部敏感量表internal_sensitivity_list和功能函数表function_list的事务级资源检查表Checklist,而通过这些事务级资源的检查表Checklist在流程上的调度可以用来描述具体的事务传输过程。这些事务根据不同的属性、角度划分为不同种事务Transaction和标签列表Tag_List。
在本发明的实施例中,状态机结构体模型StateMachineConstruct是核心,该模型在验证平台实现上由两份状态机结构体模型StateMachineConstruct代码组成,生成器Gen_SMC的状态机结构体模型StateMachineConstruct代码和参考模型检查器RM_Checker_SMC状态机结构体模型StateMachineConstruct代码。生成器Gen_SMC的状态机结构体模型StateMachineConstruct代码作为主控单元用于产生测试用例Testcase和监听DUT的反馈信息。参考模型检查器RM_Checker_SMC的状态机结构体模型StateMachineConstruct作为参考、检查单元,用来监控生成器Gen_SMC发出的Testcase和对比DUT输出的信息。
本发明的有益效果是,对系统规格书或设计需求Specification/Requirement的功能点进行结构化分析,在事务级把功能点梳理清晰,借助状态机结构体模型StateMachineConstruct的自动遍历模型,产生出覆盖系统规格书或设计需求Specification/Requirement功能点的Testcase,作为Testbench的测试向量,实现基于状态机结构体模型自动产生事务级测试用例Testcase的过程和方法。
状态机结构体模型StateMachineConstruct与事务级资源检查表Checklist、调度事务的顺序控制Sequence_Control的结合是本发明的亮点之一,主要通过状态机结构体模型StateMachineConstruct调度、控制、产生所有事务级的Testcase,将人力从书写海量Testcase的过程中解脱,提升验证效能。
亮点之二是通过对状态机结构体模型StateMachineConstruct中调度事务的状态机StateMachine和传输事务Transaction的覆盖可以保证整个验证中的系统规格书或设计需求Specification/Requirement所涉及的功能覆盖率。其中调度事务的状态机StateMachine的覆盖包括所有State、所有State_Transition的覆盖;传输事务Transaction的覆盖包括所有标签列表Tag_list的覆盖、所有事务Transaction的覆盖。
Claims (8)
1.一种集成电路设计验证方法,其特征在于包括如下步骤:
第一步,把提取于系统规格书或设计需求的事务级资源检查表和控制事务的顺序流程,通过记录和算法映射到状态机结构体模型中;
第二步,通过状态机结构体模型自动产生事务级测试用例;
第三步,所述事务级测试用例作为测试平台Testbench的测试向量,实现集成电路的设计验证。
2.如权利要求1所述的验证方法,其特征在于,在所述第二步中,状态机结构体模型首先通过调度事务的状态机模块对所述事务进行调度和控制,调整所述事务的顺序流程,产生输入激励的队列。
3.如权利要求2所述的验证方法,其特征在于,在所述第二步中,所述状态机结构体模型特色之一是具有一份状态机被生成器和参考模型检查器同时可以使用的属性。通过生成器把所述输入激励的队列发送给参考模型检查器,所述参考模型检查器监控所述生成器发出的信息。
4.如权利要求3所述的验证方法,其特征在于,在所述第二步中,所述生成器还根据监听测试用设计模块的反馈信息,调整所述输入激励的队列的产生过程;所述参考模型检查器还对比所述测试用设计模块输出的反馈信息。
5.如权利要求1所述的验证方法,其特征在于,在所述第二步与第三步之间还包括以下步骤:A、覆盖率统计模块通过记录、统计所述状态机结构体模型中状态机模块包含的状态列表覆盖率和状态转换列表覆盖率,和事务相关的标签列表覆盖率来评估覆盖程度,并反馈给状态机结构体模型本身。
6.如权利要求4所述的验证方法,其特征在于,在所述第二步中,所述生成器代码和参考模型检查器代码通过在计算机软件平台上的运行产生事务级测试用例。
7.如权利要求1所述的验证方法,其特征在于,在所述第一步中,所述事务级资源检查表是一个输入敏感量表、输出敏感量表、内部敏感量表和功能函数表。
8.如权利要求1所述的验证方法,其特征在于,在所述第一步中,所述控制事务的顺序流程是所述事务级资源检查表的具体事务的传输过程。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN 201010163114 CN101833606A (zh) | 2010-03-30 | 2010-03-30 | 一种集成电路设计验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN 201010163114 CN101833606A (zh) | 2010-03-30 | 2010-03-30 | 一种集成电路设计验证方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN101833606A true CN101833606A (zh) | 2010-09-15 |
Family
ID=42717674
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN 201010163114 Pending CN101833606A (zh) | 2010-03-30 | 2010-03-30 | 一种集成电路设计验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN101833606A (zh) |
Cited By (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102147829A (zh) * | 2011-03-29 | 2011-08-10 | 李姮乐 | 一种ic功能验证方法 |
CN102436521A (zh) * | 2011-09-27 | 2012-05-02 | 浪潮(北京)电子信息产业有限公司 | 随机验证方法和系统 |
CN103729259A (zh) * | 2012-10-12 | 2014-04-16 | 安凯(广州)微电子技术有限公司 | 一种AHB总线读写burst相互打断的验证方法及装置 |
CN105301480A (zh) * | 2015-11-19 | 2016-02-03 | 四川和芯微电子股份有限公司 | Soc芯片的测试方法 |
CN105447251A (zh) * | 2015-12-01 | 2016-03-30 | 浪潮(北京)电子信息产业有限公司 | 一种基于事务类型激励的验证方法 |
CN107562617A (zh) * | 2017-07-27 | 2018-01-09 | 郑州云海信息技术有限公司 | 一种基于nc系统中的模块验证系统 |
CN108572312A (zh) * | 2018-04-12 | 2018-09-25 | 中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室)) | SoC芯片测试方法、装置、系统和SoC芯片测试验证板 |
CN109359357A (zh) * | 2018-09-29 | 2019-02-19 | 湖南品腾电子科技有限公司 | 基于gm/ID查表的集成电路设计方法及系统 |
CN111624475A (zh) * | 2020-07-30 | 2020-09-04 | 北京燧原智能科技有限公司 | 大规模集成电路的测试方法及系统 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6742166B2 (en) * | 2001-07-20 | 2004-05-25 | Hewlett-Packard Development Company, L.P. | System and method for evaluating functional coverage linked to a verification test plan |
CN101266571A (zh) * | 2008-04-22 | 2008-09-17 | 中国科学院软件研究所 | 一种可信密码模块的测试用例生成方法及其测试系统 |
-
2010
- 2010-03-30 CN CN 201010163114 patent/CN101833606A/zh active Pending
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6742166B2 (en) * | 2001-07-20 | 2004-05-25 | Hewlett-Packard Development Company, L.P. | System and method for evaluating functional coverage linked to a verification test plan |
CN101266571A (zh) * | 2008-04-22 | 2008-09-17 | 中国科学院软件研究所 | 一种可信密码模块的测试用例生成方法及其测试系统 |
Non-Patent Citations (2)
Title |
---|
《中国优秀硕士学位论文全文数据库信息科技辑》 20100315 袁军 一种基于状态机的数字逻辑系统的功能验证方法 , 第3期 * |
《计算机技术与发展》 20070331 韩霞 等 面向SoC的事务级验证研究 第17卷, 第3期 * |
Cited By (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102147829A (zh) * | 2011-03-29 | 2011-08-10 | 李姮乐 | 一种ic功能验证方法 |
CN102436521A (zh) * | 2011-09-27 | 2012-05-02 | 浪潮(北京)电子信息产业有限公司 | 随机验证方法和系统 |
CN103729259A (zh) * | 2012-10-12 | 2014-04-16 | 安凯(广州)微电子技术有限公司 | 一种AHB总线读写burst相互打断的验证方法及装置 |
CN103729259B (zh) * | 2012-10-12 | 2017-02-01 | 安凯(广州)微电子技术有限公司 | 一种AHB总线读写burst相互打断的验证方法及装置 |
CN105301480A (zh) * | 2015-11-19 | 2016-02-03 | 四川和芯微电子股份有限公司 | Soc芯片的测试方法 |
CN105447251A (zh) * | 2015-12-01 | 2016-03-30 | 浪潮(北京)电子信息产业有限公司 | 一种基于事务类型激励的验证方法 |
CN105447251B (zh) * | 2015-12-01 | 2018-12-07 | 浪潮(北京)电子信息产业有限公司 | 一种基于事务类型激励的验证方法 |
CN107562617A (zh) * | 2017-07-27 | 2018-01-09 | 郑州云海信息技术有限公司 | 一种基于nc系统中的模块验证系统 |
CN107562617B (zh) * | 2017-07-27 | 2021-06-01 | 郑州云海信息技术有限公司 | 一种基于nc系统中的模块验证系统 |
CN108572312A (zh) * | 2018-04-12 | 2018-09-25 | 中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室)) | SoC芯片测试方法、装置、系统和SoC芯片测试验证板 |
CN109359357A (zh) * | 2018-09-29 | 2019-02-19 | 湖南品腾电子科技有限公司 | 基于gm/ID查表的集成电路设计方法及系统 |
CN111624475A (zh) * | 2020-07-30 | 2020-09-04 | 北京燧原智能科技有限公司 | 大规模集成电路的测试方法及系统 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN101833606A (zh) | 一种集成电路设计验证方法 | |
Zhuang et al. | Digital twin-based assembly data management and process traceability for complex products | |
CN103384268B (zh) | 一种基于网络的嵌入式集成制造数据采集终端 | |
CN106445536B (zh) | 自动化业务设计管理系统 | |
CN107784397A (zh) | 一种电网物资需求预测系统及其预测方法 | |
CN112327780A (zh) | 一种电子装备测试生产线的数字孪生系统构建方法及架构 | |
CN110221975A (zh) | 创建接口用例自动化测试脚本的方法及装置 | |
CN104407576A (zh) | 一种通用型的生产制造单元的实现方法及控制系统 | |
CN205788161U (zh) | 通信接口的测试系统 | |
CN102497227A (zh) | 一种卫星自动测试方法及系统 | |
CN102663182A (zh) | 一种大型设备的智能虚拟维修训练系统 | |
CN106327100A (zh) | 一种变更清单生成方法及装置 | |
CN106780149A (zh) | 一种基于定时任务调度的设备实时监测系统 | |
CN104331284A (zh) | 一种动态页面生成展示方法及系统 | |
CN106570243A (zh) | 导弹设计仿真一体化平台 | |
CN110909417B (zh) | 一种民机试飞中测试改装阶段多bom构建及转换方法 | |
CN112115145A (zh) | 数据采集方法、装置、电子设备及存储介质 | |
CN106408435A (zh) | 一种工艺编制系统和工艺编制方法 | |
CN103092156B (zh) | 设备可替换型自动化测试系统及方法 | |
CN103761604A (zh) | 报表数据确认编制完成的方法及装置 | |
CN114490586A (zh) | 一种基于区块链的医疗信息安全存储协作系统 | |
CN106599216A (zh) | 一种用于计算机辅助训练课件发布系统 | |
CN113919158A (zh) | 一种用于飞行控制面板的仿真方法、装置及存储介质 | |
CN104133680A (zh) | 一种erp窗体模块的快速构建方法 | |
CN103631454A (zh) | 红外触摸屏的模拟方法与系统 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C12 | Rejection of a patent application after its publication | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20100915 |