Unlock instant, AI-driven research and patent intelligence for your innovation.

Extension explanation system and extension method for structural body and structural body pointer types in MSVL (modeling, simulation and verification language)

A technology of pointer type and extension method, which is applied in the field of formal modeling and verification of computer systems, and can solve problems such as unsupported types

Active Publication Date: 2014-12-03
XIDIAN UNIV
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, most sequential logic languages ​​such as TLA and METATEM do not yet support type

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Extension explanation system and extension method for structural body and structural body pointer types in MSVL (modeling, simulation and verification language)
  • Extension explanation system and extension method for structural body and structural body pointer types in MSVL (modeling, simulation and verification language)
  • Extension explanation system and extension method for structural body and structural body pointer types in MSVL (modeling, simulation and verification language)

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0159]The present invention will be further described below in conjunction with the accompanying drawings. It should be noted that this example presents a specific implementation on the premise of the technical solution, but is not limited to this example.

[0160] Such as figure 1 As shown, the extended interpretation system and extension method of the structure and the structure pointer type in MSVL, the system includes the following modules:

[0161] Structure type definition module: the structure type definition module includes the definition of structure type;

[0162] Structure variable definition declaration module: the variable definition declaration module includes the variable declaration command and type declaration definition;

[0163] Structure variable storage module: the variable storage module includes a variable type mark and a variable value, the variable type mark records the type of the variable according to the variable declaration statement, and the val...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses an extension explanation system for structural body and structural body pointer types in MSVL (modeling, simulation and verification language). The extension explanation system specifically comprises a structural body type definition module, a structural body variable definition statement module, a structural body variable storage module as well as a structural body and structural body pointer type assignment operation processing module. On the basis of the system, the invention further discloses an extension method for the structural body and structural body pointer types in the MSVL. According to the method, the structural body type and corresponding structural body pointer types are extended on the basis of basic data types such as an integral type, a floating point type, a character type and a character string type as well as the pointer types of the MSVL, the problems of single data type and narrow application range in the conventional MSVL are solved, and the MSVL can be used for modeling, simulation and verification of relatively complicated multi-data systems.

Description

technical field [0001] The invention belongs to the technical field of formalized modeling and verification of computer systems, and mainly relates to an extended interpretation system and an extended method of structures and structure pointer types in MSVL. Background technique [0002] In formal verification fields such as digital circuits and software engineering, sequential logic has gradually become an effective tool for describing and reasoning about the properties of concurrent systems. Projected Temporal Logic (PTL) extends Interval Temporal Logic (ITL) and is widely used in system specification and verification. In most cases, system modeling techniques have nothing to do with sequential logic, but the desired properties of the system are described by temporal logic formulations. Therefore, it leads to such a problem in system verification. Different formal methods are used for system modeling and property description, and different formal methods have different ex...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/44G06F17/50
Inventor 王小兵孙涛段振华赵亮田聪张南
Owner XIDIAN UNIV