A multi-type msvl language interpretation system and multi-type msvl language interpretation method

A language interpretation and multi-type technology, applied in the direction of memory system, multi-program device, program control design, etc., can solve problems such as narrow application range and single data type, and achieve the goal of enhancing expression ability, expanding system scope, and improving efficiency Effect

Active Publication Date: 2016-03-02
XIDIAN UNIV
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] Aiming at the technical problem of single data type and narrow application range in the prior art, the present invention provides a multi-type MSVL language interpretation system and MSVL in which multiple built-in data types of floating point, character and character string are extended in the programming language MSVL language interpretation method

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
  • A multi-type msvl language interpretation system and multi-type msvl language interpretation method
  • A multi-type msvl language interpretation system and multi-type msvl language interpretation method
  • A multi-type msvl language interpretation system and multi-type msvl language interpretation method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0058] A multi-type MSVL language interpretation system. The existing MSVL language interpretation system introduces two built-in data types, floating-point type and character type, which can realize automatic modeling and verification of multi-data type systems, see figure 1 , The multi-type MSVL language interpretation system includes a variable type declaration module, which is set with variable type declaration commands and type declaration definitions. The variable type declaration commands specify the type of variables in the form of MSVL variable declaration statements. MSVL includes int, float , Char and string four variable declaration statements. After the expansion type, the domain of variables and constants in MSVL is defined as DOMAIN, and the elements in DOMAIN are defined as two-tuples. The first component of the two-tuple represents the value of the variable. The second component marks the type of variable;

[0059] The variable storage module is provided with a va...

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 relates to a multi-type MSVL (Modeling, Simulation and Verification Language) interpretive system which comprises a variable type declaration module, a variable storage module, an arithmetic expression processing module, an assignment operation processing module, a type cast order processing module and a frame order processing module. Various built-in data types are extended in projection time sequence logic and program design language MSVL, the description capability of the MSVL can be enhanced, the application fields of the MSVL can be extended, so that the MSVL can be more flexibly and widely model and verify a multi-data type system. According to the interpretive system and the interpretive method, the discourse domain of variables is defined as a binary group consisting of a dereference and a type, the interpretations of the variable and constant are defined as a binary group, so that the type of each variable serve as the solid property of the variable, and the reference efficiency of the variable can be improved. Aiming at the discourse domain of the variable and constant and the extension of the interpretations, semantemes of related functions and operational characters can be given, the functions and the operational characters relative to types after the types are extended are compatible with the existing MSVL sentences.

Description

Technical field [0001] The present invention belongs to the technical field of computer system formal modeling and verification, and mainly relates to formal methods for modeling and verifying systems with multiple data types. Specifically, it is an MSVL modeling and verification method and system that extends built-in data types. For modeling and verifying systems with multiple data types. technical background [0002] As a formal tool for system modeling and verification, sequential logic has been widely used in software engineering, digital circuit design and other fields. There are three main branches of sequential logic: linear sequential logic (LTL), branch sequential logic (CTL) and interval sequential logic (ITL). Projection temporal logic (PTL) extends ITL. Based on interval temporal logic, projection temporal logic includes infinite models, past operations, and a new projection operation to handle concurrent calculations. It is suitable for describing the nature of so...

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 Patents(China)
IPC IPC(8): G06F9/45G06F9/46
Inventor 段振华李洁王小兵田聪张南于研杨凯
Owner XIDIAN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap