CN117893638B - 融合状态机的时序图生成方法、装置、设备及存储介质 - Google Patents
融合状态机的时序图生成方法、装置、设备及存储介质 Download PDFInfo
- Publication number
- CN117893638B CN117893638B CN202410302666.6A CN202410302666A CN117893638B CN 117893638 B CN117893638 B CN 117893638B CN 202410302666 A CN202410302666 A CN 202410302666A CN 117893638 B CN117893638 B CN 117893638B
- Authority
- CN
- China
- Prior art keywords
- state
- state machine
- interface instruction
- interface
- machine
- 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.)
- Active
Links
- 238000010586 diagram Methods 0.000 title claims abstract description 101
- 238000000034 method Methods 0.000 title claims abstract description 96
- 230000004927 fusion Effects 0.000 title claims abstract description 37
- 230000003993 interaction Effects 0.000 claims abstract description 72
- 239000004065 semiconductor Substances 0.000 claims abstract description 48
- 230000008569 process Effects 0.000 claims abstract description 42
- 230000008859 change Effects 0.000 claims abstract description 39
- 238000004088 simulation Methods 0.000 claims abstract description 32
- 230000007704 transition Effects 0.000 claims abstract description 28
- 238000004891 communication Methods 0.000 claims description 14
- 230000006399 behavior Effects 0.000 claims description 9
- 238000004590 computer program Methods 0.000 claims description 9
- 238000009877 rendering Methods 0.000 claims 2
- 230000009471 action Effects 0.000 description 14
- 235000012431 wafers Nutrition 0.000 description 14
- 230000000875 corresponding effect Effects 0.000 description 11
- 238000004519 manufacturing process Methods 0.000 description 8
- 230000004044 response Effects 0.000 description 8
- 238000012360 testing method Methods 0.000 description 7
- 230000006870 function Effects 0.000 description 5
- 239000007787 solid Substances 0.000 description 5
- 238000012546 transfer Methods 0.000 description 5
- 238000011161 development Methods 0.000 description 4
- 238000012795 verification Methods 0.000 description 4
- 230000009286 beneficial effect Effects 0.000 description 3
- 230000000694 effects Effects 0.000 description 3
- 238000010998 test method Methods 0.000 description 3
- 238000005094 computer simulation Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 239000000463 material Substances 0.000 description 2
- 238000012545 processing Methods 0.000 description 2
- 230000002159 abnormal effect Effects 0.000 description 1
- 238000012790 confirmation Methods 0.000 description 1
- 230000005764 inhibitory process Effects 0.000 description 1
- 230000007246 mechanism Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000000750 progressive effect Effects 0.000 description 1
- 238000012827 research and development Methods 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06T—IMAGE DATA PROCESSING OR GENERATION, IN GENERAL
- G06T11/00—2D [Two Dimensional] image generation
- G06T11/20—Drawing from basic elements, e.g. lines or circles
- G06T11/206—Drawing of charts or graphs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/30—Computing systems specially adapted for manufacturing
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- General Engineering & Computer Science (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
本发明提供的一种融合状态机的时序图生成方法、装置、设备及存储介质,该方法包括:确定半导体仿真平台所需的业务场景;确定业务场景下所涉及的状态机以及用于描述半导体仿真平台交互行为的接口指令;将接口指令所影响的至少一个状态机与接口指令的交互过程以时序图的方式进行绘制。本发明将业务场景下涉及的状态机和用于描述半导体仿真平台交互行为的接口指令融合在时序图中进行绘制,利用该时序图既能表示出某一特定时间节点下各个状态机的当前状态、前状态以及状态迁移条件和状态持续时长,又能看出各个状态机发生变化的时间先后顺序、各个状态机之间的关联关系,对于业务场景在整体性和时序性方面的需求,都能在一张时序图中清晰表明。
Description
技术领域
本发明涉及计算机仿真技术领域,特别涉及一种融合状态机的时序图生成方法、装置、设备及存储介质。
背景技术
通过新型研发机构联合晶圆生产厂家打造晶圆产线全数字化仿真平台,来实现半导体制造工艺中所需各类设备及工业软件的自主可控需求,其中,晶圆在半导体机台的制程工艺仿真是最为关键的一环。
而在实际物理环境中,晶圆在半导体机台上的制造流程繁多,业务复杂。因此在半导体仿真机台中需要至少十余个状态机来记录描述机台的各种行为状态。在半导体仿真机台中涉及到的状态机数量庞大,种类繁多,且各个状态机之间也存在一些隐藏关联关系,用简单的文字描述无法清楚表示出状态机的整体性和时序性,并且难以验证其正确性,增加了理解学习成本。对于产品设计人员、软件开发人员和测试人员来说,都是一个巨大的挑战。
发明内容
本发明提供一种融合状态机的时序图生成方法、装置、设备及存储介质,旨在解决现有技术中存在的问题。
本发明的目的采用以下技术方案实现:
第一方面,本发明提供一种融合状态机的时序图生成方法,包括:
确定半导体仿真平台所需的业务场景;
确定所述业务场景下所涉及的状态机以及用于描述所述半导体仿真平台交互行为的接口指令;
将所述接口指令所影响的至少一个状态机与所述接口指令的交互过程以时序图的方式进行绘制。
根据本发明提供的一种融合状态机的时序图生成方法,所述确定所述业务场景下所涉及的状态机以及用于描述所述半导体仿真平台交互行为的接口指令的步骤,包括:
确定所述半导体仿真平台的虚拟机台和虚拟主机;
根据所述虚拟机台确定所涉及的所述状态机;
获取所述虚拟主机与所述虚拟机台之间用于通信交互的所述接口指令。
根据本发明提供的一种融合状态机的时序图生成方法,所述将所述接口指令所影响的至少一个状态机与所述接口指令的交互过程以时序图的方式进行绘制的步骤,包括:
构建时序图,在所述时序图中设置第一区域和第二区域;
将所述业务场景所涉及的状态机以及所述状态机的初始状态绘制在所述第一区域中;
将所述接口指令绘制在所述第二区域中,并将受所述接口指令影响的所述状态机的其他状态与所述接口指令的交互过程进行绘制,其中,所述状态机的其他状态为所述初始状态之后的状态。
根据本发明提供的一种融合状态机的时序图生成方法,所述将受所述接口指令影响的所述状态机的其他状态与所述接口指令的交互过程进行绘制的步骤,包括:
获取受所述接口指令影响的所述状态机的其他状态;
将所述状态机的其他状态绘制在所述第一区域中,并与对应的所述状态机的初始状态绘制成关联关系;
根据所述接口指令的发生时序,将所述状态机发生状态变化的交互过程进行绘制。
根据本发明提供的一种融合状态机的时序图生成方法,所述根据所述接口指令的发生时序,将所述状态机发生状态变化的交互过程进行绘制的步骤,包括:
根据虚拟机台接收到虚拟主机发送的所述接口指令的接收时间,确定所述状态机的当前状态的变化时间点;
根据所述虚拟机台接收到的相邻的所述接口指令的时间间隔,确定所述状态机的当前状态的状态持续时间,或,
根据当前状态的变化时间点与下一状态的变化时间点,确定所述状态机的当前状态的状态持续时间。
根据本发明提供的一种融合状态机的时序图生成方法,在将所述接口指令所影响的状态机与所述接口指令进行交互绘制的步骤之后,还包括:
根据所述时序图的交互信息对所述接口指令的完整性进行校验。
根据本发明提供的一种融合状态机的时序图生成方法,在将所述接口指令所影响的状态机与所述接口指令进行交互绘制的步骤之后,还包括:
根据所述交互信息所包含的接***互时间点对所述状态机的状态变化进行校验。
第二方面,本发明提供一种融合状态机的时序图生成装置,包括:
第一确定模块,用于确定半导体仿真平台所需的业务场景;
第二确定模块,用于确定所述业务场景所涉及的状态机和接口指令;
时序图绘制模块,用于将所述接口指令所影响的至少一个状态机与所述接口指令的交互过程以时序图的方式进行绘制。
第三方面,本发明提供一种电子设备,包括存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序,所述处理器执行所述程序时实现如上述任一种所述的融合状态机的时序图生成方法的步骤。
第四方面,本发明提供一种非暂态计算机可读存储介质,其上存储有计算机程序,所述计算机程序被处理器执行时实现如上述任一种所述的融合状态机的时序图生成方法的步骤。
本发明提供的融合状态机的时序图生成方法、装置、设备及存储介质,将业务场景下涉及的状态机和用于描述半导体仿真平台交互行为的接口指令融合在时序图中进行绘制,绘制出业务场景交互过程中每个状态机的状态变化时间点、状态迁移条件、状态持续时长等。利用该时序图既能表示出某一特定时间节点下各个状态机的当前状态、前状态以及状态迁移条件和状态持续时长,又能看出各个状态机发生变化的时间先后顺序、各个状态机之间的关联关系,对于业务场景在整体性和时序性方面的需求,都能在一张时序图中清晰表明。另外,对于开发人员来说,该时序图能形成一个很好的开发规范图,能明确看出图中状态机的状态变化规律、接***互时间点、各状态依赖关系等;对于测试人员来说,能够形成与传统测试方案不同的测试点和测试方法,对于测试方案的编写具有很好的参考作用和指导意义。
附图说明
为了更清楚地说明本申请实施例中的技术方案,下面将对实施例描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本申请的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的实施方式。
图1是现有技术中从半导体机台软件手册中获取的状态机图;
图2是现有技术中半导体机台与主机进行通信的交互时序图;
图3是本发明实施例提供的融合状态机的时序图生成方法的流程示意图;
图4是本发明实施例提供的融合状态机的新型时序图的图例;
图5是本发明实施例提供的融合状态机的时序图生成装置的结构示意图;
图6为本发明提供的电子设备的结构示意图。
具体实施方式
上述说明仅是本发明技术方案的概述,为了能够更清楚了解本发明的技术手段,而可依照说明书的内容予以实施,并且为了让本发明的上述和其他目的、特征和优点能够更明显易懂,以下特举较佳实施例,并配合附图,详细说明如下。
需要说明的是,本领域普通技术人员显式地和隐式地理解的是,本发明所描述的实施例在不冲突的情况下,可以与其它实施例相结合。除非另作定义,本发明所涉及的技术术语或者科学术语应当为本发明所属技术领域内具有一般技能的人士所理解的通常意义。本发明所涉及的“一”、“一个”、“一种”、“该”等类似词语并不表示数量限制,可表示单数或复数。本发明所涉及的术语“包括”、“包含”、“具有”以及它们任何变形,意图在于覆盖不排他的包含;本发明所涉及的术语“第一”、“第二”、“第三”等仅仅是区别类似的对象,不代表针对对象的特定排序。
在涉及方法步骤时,本文图示的先后顺序代表了一种示例性的方案,但不表示对先后顺序的限定。
申请人发现,现有的半导体机台的软件手册中,有对单个状态机进行了详细的描述,如图1所示,是从软件手册中截取的一个的状态机图,为Access Mode状态机,对于此状态机来说,一共有两种状态:MANUAL和AUTO。图中的数字1,2,3表示一次状态迁移,如2表示从MANUAL状态切换到AUTO状态。软件手册中同时还附有状态机每个状态转换的详细说明,像这样的状态机,手册中至少有十余个,复杂的状态机的状态有接近二十个。如果单独去理解这些状态机,对于开发来说成本巨大,且不方便维护,也很难与业务场景挂钩。
而且从现有的半导体机台与主机通信的时序图来说,也仅有接口通信的交互指令,不涉及内部状态机变化,如图2所示,为半导体机台与主机建立连接交互场景下的交互细节中的一部分。不难发现,从描述状态机的图和描述交互行为的时序图单独来看都有一定的指导意义,但是无法清楚描述出业务场景下整体的状况。因此,本发明提供一种融合状态机的时序图生成方法、装置、设备及存储介质,对于每一个业务场景来说,旨在于时序图的方式清楚描述出接口与状态机之间的关联关系。
以下是本发明中关键术语和技术缩略语的解释:
vEQP:英文全称为virtual equipment,代指半导体仿真机台。
host:主机,指可以与vEQP进行通信的软件***,通过接口指令(SF指令)和机台进行通信,可以操控机台进行一系列行为,如EAP软件。
EAP: EAP是设备自动化编程(Equipment Automation Programming)的缩写,它是一种用于控制半导体制造设备进行自动化生产的***。
状态机:一般指有限状态机,是表示有限个状态以及在这些状态之间的转移和动作等行为的数学计算模型。状态机中有几个术语:state(状态) 、transition(转移) 、action(动作) 、transition condition(转移条件) 。
state(状态) :将一个***离散化,可以得到很多种状态,当然这些状态是有限的。例如:门禁闸机可以划分为开启状态、关闭状态;电扇可以划分为关、一档、二档、三档等状态。
transition(转移) :一个状态接收一个输入执行了某些动作到达了另外一个状态的过程就是一个transition(转移)。定义transition(转移)就是在定义状态机的转移流程。
transition condition(转移条件) :也叫做Event(事件),在某一状态下,只有达到了transition condition(转移条件),才会按照状态机的转移流程转移到下一状态,并执行相应的动作。
action(动作):在状态机的运转过程中会有很多种动作。如:进入动作(entryaction)[在进入状态时进行]、退出动作(exit action)[在退出状态时进行]、转移动作[在进行特定转移时进行]。
SF指令:SF指令是基于SECS/GEM协议实现的半导体设备与host通信的接口指令。例如接口指令S1Fy,S1代表的功能分类为设备状态,Fy中y为奇数则代表请求,为偶数则代表响应。SF指令分为请求指令和响应指令,接口指令S1F1代表host给vEQP发送的请求指令,询问vEQP是否在线,接口指令S1F2代表vEQP给host发送的响应指令,表示设备状态为在线状态。
FOUP:英文全称为Front Opening Unified Pod。前开式晶圆传送盒,是半导体制程中被使用来保护、运送、并储存晶圆的一种容器。
实施例一
参照图3所示,本发明实施例提供一种融合状态机的时序图生成方法,该方法包括:
步骤S1:确定半导体仿真平台所需的业务场景。
本步骤中,半导体仿真平台包括vEQP和host,两者之间通过SF指令进行交互通信,通过host对vEQP进行操控,以实现晶圆在半导体机台的制程工艺的仿真,其所需的业务场景包括:跑货场景或搬走场景等。
具体地,该业务场景以跑货前的校验场景为例说明,在实际的物理环境中,当晶圆通过晶圆传送盒运送到半导体机台后,半导体机台会读取该晶圆传送盒的FOUP ID号,并将该FOUP ID号发送至host,host根据该FOUP ID号查询该半导体机台的Recipe参数(Recipe通常被用来控制机器的运行,以实现自动化的生产流程,完成特定产品的制造任务),及一系列其他的参数(slotmap参数或者特定的机台参数等,比如control job的空间大小、process job的空间大小),用于校验确认该批晶圆是否应该放到此半导体机台上加工。校验成功后晶圆传送盒可执行正式的跑货场景,即晶圆传送盒内的晶圆送入半导体机台执行相应工艺制程,若校验失败则标记该晶圆传送盒为异常且暂停其用于跑货。
步骤S2:确定业务场景下所涉及的状态机以及用于描述半导体仿真平台交互行为的接口指令。
本实施例中,步骤S2,具体包括:
步骤S201:确定半导体仿真平台的虚拟机台和虚拟主机;
步骤S202:根据虚拟机台确定所涉及的状态机;
步骤S203:获取虚拟主机与虚拟机台之间用于通信交互的接口指令。
其中,虚拟机台为vEQP,可以对半导体工艺制程中任意合适的半导体机台进行仿真,虚拟主机为host。确定该业务场景下使用该虚拟机台所涉及到的所有状态机,例如某一业务场景下vEQP中涉及到的状态机有:SM-A、 SM-B、SM-C,并根据该业务场景确定vEQP与host之间用于通信交互的接口指令,例如SxFy、SxF(y+1)。
步骤S3:将接口指令所影响的至少一个状态机与接口指令的交互过程以时序图的方式进行绘制。
本实施例中,步骤S3,具体包括:
步骤S301:构建时序图,在时序图中设置第一区域和第二区域;
步骤S302:将业务场景所涉及的状态机以及状态机的初始状态绘制在第一区域中;
步骤S303:将接口指令绘制在第二区域中,并将受接口指令影响的状态机的其他状态与接口指令的交互过程进行绘制,其中,状态机的其他状态为初始状态之后的状态。
本实施例中,步骤S303,具体包括:
步骤S3031:获取受接口指令影响的状态机的其他状态;
步骤S3032:将状态机的其他状态绘制在第一区域中,并与对应的状态机的初始状态绘制成关联关系;
步骤S3033:根据接口指令的发生时序,将状态机发生状态变化的交互过程进行绘制。
一种优选地示例,采用UML建模工具,通过UML建模语言(如图形符号和箭头线条等元素)将状态机与接口指令的交互过程以UML时序图的方式进行可视化呈现。
具体地,构建时序图,将该时序图的左半部分和右半部分设置为第一区域和第二区域,将状态机SM-A、 SM-B、SM-C以及每个状态机在该业务场景下的初始状态绘制在时序图的左半部分。将该业务场景下涉及到的所有通信接口,以接口指令的形式并按照接口指令的时序绘制在时序图的右半部分,在交互过程中,分析确定每个接口指令影响到的状态机,将状态机发生状态变化的其他状态绘制在时序图的左半部分,并与对应的状态机的初始状态绘制成关联关系。
在该时序图中,根据接口指令的发生时序,将状态机发生状态变化的交互过程进行绘制,以呈现出某一特定时间节点下各个状态机的当前状态、前状态和状态迁移条件,以及各个状态机发生变化的时间先后顺序、各个状态机之间的关联关系。具体为,根据vEQP接收到host发送的接口指令的接收时间,确定状态机的当前状态的变化时间点;以及根据vEQP接收到的相邻的接口指令的时间间隔,确定状态机的当前状态的状态持续时间,或,根据当前状态的变化时间点与下一状态的变化时间点,确定状态机的当前状态的状态持续时间。
其融合状态机的时序图如图4所示,下面对图中的图形符号和箭头线条进行说明:
图4中直角实线矩形框代表软件主体。其中,vEQP代表虚拟机台,host代表能和虚拟机台进行通信的虚拟主机。两者之间通过接口指令进行交互通信。
图4中竖直虚线代表时序图中的生命线,代表生命周期内的时间顺序。
图4中实线箭头代表软件主体之间发送的请求指令,箭头代表发送方向,实线箭头上方的SF指令SxFy中的x,y填上具体数值后代表不同的接口。
图4中虚线箭头代表请求对应的响应指令,虚线箭头下方的SF指令中响应的数值会在请求y的基础上再加1,变为SxF(y+1)。
图4中直角虚线矩形框代表软件主体的内部动作,如材料到达机台,材料进入机台等。
图4中圆角实线矩形框代表一个状态机实体,例如此虚拟机台中有3个状态机(SM-A、SM-B、SM-C)。
图4中圆点符号代表状态机的初始状态,即状态机实例化后的最原始状态。
图4中被实线箭头指向的实线矩形框代表状态机的当下状态值,高度代表从上到下这一个时间段。
图4中圆点加圆环符号代表状态机的结束状态,代表状态机一个生命周期的结束,此状态机对象被消灭。
图4所绘制的状态机与接口指令的具体交互过程的整体说明如下:
1、在host向vEQP发出第一次请求指令前,vEQP中的状态机SM-A、 SM-B 、SM-C都处于初始状态,在vEQP收到第一次请求指令后,SM-C状态机发生状态跃迁,从初始状态变成了状态c1,SM-A从初始状态变成了状态a1,SM-B状态机无变化。当vEQP内部的状态机完成状态跃迁后,vEQP会给host发送带有正确确认码的响应指令,以表示正确收发该交互信息,然后vEQP内部发生了一次动作action,如图中的action1;
2、在host向vEQP发出第二次请求指令后,vEQP中的状态机SM-A维持a1状态;SM-B维持初始状态;SM-C从状态c1变成了状态c2,状态跃迁成功后,vEQP向host发送响应指令代表此次请求成功;
3、在host向vEQP发出第三次请求指令后,vEQP中的状态机SM-A维持a1状态;SM-B维持初始状态;SM-C从状态c2变成了结束状态,标识此状态机是生命周期结束。同时vEQP向host发送响应指令代表此次请求成功。
因此,对于产品来说,可结合实际生产步骤和条件,通过该时序图可以清楚完整地呈现出交互过程中某一特定时间节点下各个状态机的当前状态、前状态以及状态迁移条件和状态持续时长,以及各个状态机发生变化的时间先后顺序、各个状态机之间的关联关系。
本实施例中,步骤S3之后,该方法还包括:
根据时序图的交互信息对接口指令的完整性进行校验,和/或根据交互信息所包含的接***互时间点对状态机的状态变化进行校验。
具体地,通过梳理出vEQP软件主体所需要的业务场景并根据某个业务场景绘制出对应的时序图后,通过此时序图能明确地看出状态机的状态变化规律、接***互时间点、各状态依赖关系等,因此对于开发人员来说,可以作为开发规范图来使用,通过该开发规范图开发图中内容,在代码中实现相应逻辑。
待提测后,根据该开发规范图能够形成与传统测试方案不同的测试点和测试方法,测试人员除了根据时序图的交互信息校验每一个接口指令的完整性是否正确之外,还需校验每一个接***互时间点对状态机的状态变化进行校验,以确定状态机的状态变化是否正确。因此,对于测试人员编写测试方案具有很好的参考作用和指导意义。
综上,本发明实施例提供的融合状态机的时序图生成方法,通过确定半导体仿真平台所需的业务场景;确定业务场景下所涉及的状态机以及用于描述半导体仿真平台交互行为的接口指令;将接口指令所影响的至少一个状态机与接口指令的交互过程以时序图的方式进行绘制。本发明将业务场景下涉及的状态机和用于描述半导体仿真平台交互行为的接口指令融合在时序图中进行绘制,绘制出业务场景交互过程中每个状态机的状态变化时间点、状态迁移条件、状态持续时长等。利用该时序图既能表示出某一特定时间节点下各个状态机的当前状态、前状态以及状态迁移条件和状态持续时长,又能看出各个状态机发生变化的时间先后顺序、各个状态机之间的关联关系,对于业务场景在整体性和时序性方面的需求,都能在一张时序图中清晰表明。
实施例二
基于与实施例一所述方法相同的发明思路,参照图5所示,本实施例提供一种融合状态机的时序图生成装置,包括:
第一确定模块21,用于确定半导体仿真平台所需的业务场景;
第二确定模块22,用于确定所述业务场景所涉及的状态机和接口指令;
时序图绘制模块23,用于将所述接口指令所影响的至少一个状态机与所述接口指令的交互过程以时序图的方式进行绘制。
本实施例中,第二确定模块22具体用于:
确定半导体仿真平台的虚拟机台和虚拟主机;
根据虚拟机台确定所涉及的状态机;
获取虚拟主机与虚拟机台之间用于通信交互的接口指令。
本实施例中,时序图绘制模块23具体用于:
构建时序图,在时序图中设置第一区域和第二区域;
将业务场景所涉及的状态机以及状态机的初始状态绘制在第一区域中;
将接口指令绘制在第二区域中,并将受接口指令影响的状态机的其他状态与接口指令的交互过程进行绘制,其中,状态机的其他状态为初始状态之后的状态。
时序图绘制模块23还具体用于:
获取受接口指令影响的状态机的其他状态;
将状态机的其他状态绘制在第一区域中,并与对应的状态机的初始状态绘制成关联关系;
根据接口指令的发生时序,将状态机发生状态变化的交互过程进行绘制。
时序图绘制模块23还具体用于:
根据虚拟机台接收到虚拟主机发送的接口指令的接收时间,确定状态机的当前状态的变化时间点;
根据虚拟机台接收到的相邻的接口指令的时间间隔,确定状态机的当前状态的状态持续时间,或,
根据当前状态的变化时间点与下一状态的变化时间点,确定状态机的当前状态的状态持续时间。
本实施例中,该装置还包括校验模块,该校验模块用于:根据时序图的交互信息对接口指令的完整性进行校验,和/或根据交互信息所包含的接***互时间点对状态机的状态变化进行校验。
需要说明的是,本发明的方法实施例提供的融合状态机的时序图生成方法,执行主体可以为融合状态机的时序图生成装置,或者为该融合状态机的时序图生成装置中的用于执行融合状态机的时序图生成方法的控制模块。
上述装置中各个模块的功能和作用的实现过程具体详见上述方法中对应步骤的实现过程,所以相关之处参见方法实施例的部分说明即可,在此不再赘述。
以上所描述的装置实施例仅仅是示意性的,例如,所述模块的划分,仅仅为一种逻辑功能划分,实际实现时可以有另外的划分方式,在实施例中的各功能模块可以全部集成在一个处理器中,也可以是各模块分别单独作为一个器件,也可以两个或两个以上模块集成在一个器件中;各实施例中的各功能模块既可以采用硬件的形式实现,也可以采用硬件加软件功能单元的形式实现。
实施例三
参照图6所示,本实施例提供一种电子设备,该电子设备包括:处理器(processor)310、通信接口(Communications Interface)320、存储器(memory)330和通信总线340,其中,处理器310,通信接口320,存储器330通过通信总线340完成相互间的通信。处理器310可以调用存储器330中的逻辑指令,处理器310执行上述方法实施例提供的融合状态机的时序图生成方法,该方法包括:
确定半导体仿真平台所需的业务场景;
确定所述业务场景所涉及的状态机和接口指令;
将所述接口指令所影响的至少一个状态机与所述接口指令的交互过程以时序图的方式进行绘制。
此外,上述的存储器330中的逻辑指令可以通过软件功能单元的形式实现并作为独立的产品销售或使用时,可以存储在一个计算机可读取存储介质中。基于这样的理解,本发明的技术方案本质上或者说对现有技术做出贡献的部分或者该技术方案的部分可以以软件产品的形式体现出来,该计算机软件产品存储在一个存储介质中,包括若干指令以使得一台计算机设备(可以是个人计算机,服务器,或者网络设备等)执行本发明各个实施例所述方法的全部或部分步骤。而前述的存储介质包括:U盘、移动硬盘、只读存储器(ROM,Read-Only Memory)、随机存取存储器(RAM,Random Access Memory)、磁碟或者光盘等各种可以存储程序代码的介质。
另一方面,本发明还提供一种计算机程序产品,所述计算机程序产品包括计算机程序,计算机程序可存储在非暂态计算机可读存储介质上,所述计算机程序被处理器执行时,计算机能够执行如方法实施例提供的融合状态机的时序图生成方法,该方法包括:
确定半导体仿真平台所需的业务场景;
确定所述业务场景所涉及的状态机和接口指令;
将所述接口指令所影响的至少一个状态机与所述接口指令的交互过程以时序图的方式进行绘制。
实施例四
本实施例提供一种非暂态计算机可读存储介质,其上存储有计算机程序,计算机程序被处理器执行时实现上述方法实施例提供的融合状态机的时序图生成方法,该方法包括:
确定半导体仿真平台所需的业务场景;
确定所述业务场景所涉及的状态机和接口指令;
将所述接口指令所影响的至少一个状态机与所述接口指令的交互过程以时序图的方式进行绘制。
本发明中的各个实施例均采用递进的方式描述,各个实施例之间相同相似的部分互相参见即可,每个实施例重点说明的都是与其他实施例的不同之处。尤其,对于设备和介质实施例而言,由于其基本相似于方法实施例,所以描述的比较简单,相关之处参见方法实施例的部分说明即可。
本发明实施例提供的设备和介质与方法是一一对应的,因此,设备和介质也具有与其对应的方法类似的有益技术效果,由于上面已经对方法的有益技术效果进行了详细说明,因此,这里不再赘述设备和介质的有益技术效果。
以上所述实施例的各技术特征可以进行任意的组合,为使描述简洁,未对上述实施例中的各个技术特征所有可能的组合都进行描述,然而,只要这些技术特征的组合不存在矛盾,都应当认为是本说明书记载的范围。
以上所述实施例仅表达了本申请的几种实施方式,其描述较为具体和详细,但并不能因此而理解为对申请专利范围的限制。应当指出的是,对于本领域的普通技术人员来说,在不脱离本申请构思的前提下,还可以做出若干变形和改进,这些都属于本申请的保护范围。因此,本申请专利的保护范围应以所附权利要求为准。
Claims (7)
1.一种融合状态机的时序图生成方法,其特征在于,包括:
确定半导体仿真平台所需的业务场景;
确定所述业务场景下所涉及的状态机以及用于描述所述半导体仿真平台交互行为的接口指令,包括:
确定所述半导体仿真平台的虚拟机台和虚拟主机;
根据所述虚拟机台确定所涉及的所述状态机;
获取所述虚拟主机与所述虚拟机台之间用于通信交互的所述接口指令;
将所述接口指令所影响的至少一个状态机与所述接口指令的交互过程以时序图的方式进行绘制,包括:
构建时序图,在所述时序图中设置第一区域和第二区域;
将所述业务场景所涉及的状态机以及所述状态机的初始状态绘制在所述第一区域中;
将所述接口指令绘制在所述第二区域中,并将受所述接口指令影响的所述状态机的其他状态与所述接口指令的交互过程进行绘制,其中,所述状态机的其他状态为所述初始状态之后的状态;
所述将受所述接口指令影响的所述状态机的其他状态与所述接口指令的交互过程进行绘制的步骤,包括:
获取受所述接口指令影响的所述状态机的其他状态;
将所述状态机的其他状态绘制在所述第一区域中,并与对应的所述状态机的初始状态绘制成关联关系;
根据所述接口指令的发生时序,将所述状态机发生状态变化的交互过程进行绘制,以呈现出某一特定时间节点下各个状态机的当前状态、前状态和状态迁移条件,以及各个状态机发生变化的时间先后顺序、各个状态机之间的关联关系。
2.根据权利要求1所述的融合状态机的时序图生成方法,其特征在于,所述根据所述接口指令的发生时序,将所述状态机发生状态变化的交互过程进行绘制的步骤,包括:
根据虚拟机台接收到虚拟主机发送的所述接口指令的接收时间,确定所述状态机的当前状态的变化时间点;
根据所述虚拟机台接收到的相邻的所述接口指令的时间间隔,确定所述状态机的当前状态的状态持续时间,或,
根据当前状态的变化时间点与下一状态的变化时间点,确定所述状态机的当前状态的状态持续时间。
3.根据权利要求1所述的融合状态机的时序图生成方法,其特征在于,在将所述接口指令所影响的状态机与所述接口指令进行交互绘制的步骤之后,还包括:
根据所述时序图的交互信息对所述接口指令的完整性进行校验。
4.根据权利要求3所述的融合状态机的时序图生成方法,其特征在于,在将所述接口指令所影响的状态机与所述接口指令进行交互绘制的步骤之后,还包括:
根据所述交互信息所包含的接***互时间点对所述状态机的状态变化进行校验。
5.一种融合状态机的时序图生成装置,其特征在于,包括:
第一确定模块,用于确定半导体仿真平台所需的业务场景;
第二确定模块,用于确定所述业务场景所涉及的状态机和接口指令;
所述第二确定模块具体用于:
确定所述半导体仿真平台的虚拟机台和虚拟主机;
根据所述虚拟机台确定所涉及的所述状态机;
获取所述虚拟主机与所述虚拟机台之间用于通信交互的所述接口指令;
时序图绘制模块,用于将所述接口指令所影响的至少一个状态机与所述接口指令的交互过程以时序图的方式进行绘制;
所述时序图绘制模块具体用于:
构建时序图,在所述时序图中设置第一区域和第二区域;
将所述业务场景所涉及的状态机以及所述状态机的初始状态绘制在所述第一区域中;
将所述接口指令绘制在所述第二区域中,并将受所述接口指令影响的所述状态机的其他状态与所述接口指令的交互过程进行绘制,其中,所述状态机的其他状态为所述初始状态之后的状态;
所述将受所述接口指令影响的所述状态机的其他状态与所述接口指令的交互过程进行绘制的步骤,包括:
获取受所述接口指令影响的所述状态机的其他状态;
将所述状态机的其他状态绘制在所述第一区域中,并与对应的所述状态机的初始状态绘制成关联关系;
根据所述接口指令的发生时序,将所述状态机发生状态变化的交互过程进行绘制,以呈现出某一特定时间节点下各个状态机的当前状态、前状态和状态迁移条件,以及各个状态机发生变化的时间先后顺序、各个状态机之间的关联关系。
6.一种电子设备,包括存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序,其特征在于,所述处理器执行所述程序时实现如权利要求1-4任一项所述的融合状态机的时序图生成方法的步骤。
7.一种非暂态计算机可读存储介质,其上存储有计算机程序,其特征在于,所述计算机程序被处理器执行时实现如权利要求1-4任一项所述的融合状态机的时序图生成方法的步骤。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202410302666.6A CN117893638B (zh) | 2024-03-18 | 2024-03-18 | 融合状态机的时序图生成方法、装置、设备及存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202410302666.6A CN117893638B (zh) | 2024-03-18 | 2024-03-18 | 融合状态机的时序图生成方法、装置、设备及存储介质 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN117893638A CN117893638A (zh) | 2024-04-16 |
CN117893638B true CN117893638B (zh) | 2024-06-11 |
Family
ID=90647730
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202410302666.6A Active CN117893638B (zh) | 2024-03-18 | 2024-03-18 | 融合状态机的时序图生成方法、装置、设备及存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN117893638B (zh) |
Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102057361A (zh) * | 2008-06-16 | 2011-05-11 | 密克罗奇普技术公司 | 可编程循环状态机接口 |
CN102063081A (zh) * | 2010-11-04 | 2011-05-18 | 天津曙光计算机产业有限公司 | 一种采用状态机实现龙芯主板上下电及复位时序的设计方法 |
CN102685128A (zh) * | 2012-05-09 | 2012-09-19 | 东南大学 | 一种基于状态机的协议构造方法 |
CN112757767A (zh) * | 2020-12-24 | 2021-05-07 | 三明学院 | 基于有限状态机模型的全自动烫印机控制*** |
CN114461478A (zh) * | 2020-11-09 | 2022-05-10 | 华为技术有限公司 | 模拟器,驱动测试方法,电子设备及计算机可读存储介质 |
CN115145964A (zh) * | 2022-07-30 | 2022-10-04 | 重庆长安汽车股份有限公司 | 一种时序数据整合方法、装置、设备及介质 |
CN116432573A (zh) * | 2023-03-27 | 2023-07-14 | 思必驰科技股份有限公司 | 性能仿真方法及电子设备和存储介质 |
-
2024
- 2024-03-18 CN CN202410302666.6A patent/CN117893638B/zh active Active
Patent Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102057361A (zh) * | 2008-06-16 | 2011-05-11 | 密克罗奇普技术公司 | 可编程循环状态机接口 |
CN102063081A (zh) * | 2010-11-04 | 2011-05-18 | 天津曙光计算机产业有限公司 | 一种采用状态机实现龙芯主板上下电及复位时序的设计方法 |
CN102685128A (zh) * | 2012-05-09 | 2012-09-19 | 东南大学 | 一种基于状态机的协议构造方法 |
CN114461478A (zh) * | 2020-11-09 | 2022-05-10 | 华为技术有限公司 | 模拟器,驱动测试方法,电子设备及计算机可读存储介质 |
CN112757767A (zh) * | 2020-12-24 | 2021-05-07 | 三明学院 | 基于有限状态机模型的全自动烫印机控制*** |
CN115145964A (zh) * | 2022-07-30 | 2022-10-04 | 重庆长安汽车股份有限公司 | 一种时序数据整合方法、装置、设备及介质 |
CN116432573A (zh) * | 2023-03-27 | 2023-07-14 | 思必驰科技股份有限公司 | 性能仿真方法及电子设备和存储介质 |
Non-Patent Citations (5)
Title |
---|
基于BOM状态机的可组构仿真方法分析;桑景瑞;胡振国;史延胜;;军事运筹与***工程;20110615(第02期);69-75 * |
基于IEC61850的继电保护功能时序可视化研究与实现;陈德辉;杨志宏;高翔;;电力***保护与控制;20161122;第44卷(第22期);182-186 * |
基于有限状态机的集群式硅片传输控制***设计;王海升;穆海华;尹文生;;制造业自动化;20130125;第35卷(第02期);第4-7页 * |
层次状态机及协处理状态机的Verilog HDL描述方法研究;刘海成;关旭东;;黑龙江工程学院学报;20180225(第01期);34-40+45 * |
飞机协同维修仿真的交互状态机模型;董健康;姜乃心;耿宏;计算机工程与设计;20201231(第001期);297-301 * |
Also Published As
Publication number | Publication date |
---|---|
CN117893638A (zh) | 2024-04-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN108376221A (zh) | 一种基于aadl模型扩展的软件***安全性验证与评估方法 | |
EP0445942A2 (en) | Analytical development and verification of control-intensive systems | |
Akesson et al. | Supremica—a tool for verification and synthesis of discrete event supervisors | |
Liggesmeyer et al. | Improving system reliability with automatic fault tree generation | |
JP2011060267A (ja) | 設計検証プログラム、設計検証方法および設計検証装置 | |
CN103324568A (zh) | 用于测试程序的方法和装置 | |
CN110677413B (zh) | 一种智能家居物联网***受攻击安全验证的方法和装置 | |
Arts et al. | Development of a verified Erlang program for resource locking | |
CN117435483A (zh) | 基于Formal工具的仿真验证激励生成方法、装置、介质及终端 | |
KR20230081501A (ko) | 생산 계획 수립 장치 및 방법 | |
CN117893638B (zh) | 融合状态机的时序图生成方法、装置、设备及存储介质 | |
CN113778878A (zh) | 接口测试方法、装置、电子设备及存储介质 | |
CN112858876A (zh) | 一种自适应的芯片自动化测试方法 | |
CN112463133A (zh) | 一种基于Coq的机器人控制***时序安全性的验证方法 | |
CN115470152A (zh) | 测试代码生成方法、测试代码生成装置以及存储介质 | |
CN115470141A (zh) | 一种故障模拟方法、装置及相关设备 | |
CN112784417B (zh) | 一种基于SysML的航电分布式联合仿真方法及*** | |
CN112347723B (zh) | 基于版图的rom代码提取验证方法及装置 | |
Basit ur Rahim et al. | Translating activity diagram from duration calculus for modeling of real-time systems and its formal verification using UPPAAL and DiVinE | |
Krause et al. | Model based specification, verification, and test generation for a safety fieldbus profile | |
Morbé et al. | Fully symbolic TCTL model checking for incomplete timed systems | |
Sarmento et al. | Modeling of programs and its verification for programmable logic controllers | |
US20230121753A1 (en) | Resiliency Verification of Modular Plants | |
CN117272694B (zh) | 基于参数组件化建立装备仿真模型的方法、***及介质 | |
Asmundo et al. | Consistent integration for sequential abstract state machines |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |