System and method for MSVL compiling

A compiling method and compiling system technology, applied in computer programming language and application fields, can solve problems such as low efficiency of MSVL programs, and achieve the effects of improving execution and verification efficiency and improving execution efficiency.

Active Publication Date: 2017-02-01
XIDIAN UNIV
View PDF4 Cites 15 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The purpose of the present invention is to provide a compilation system and method of (Modeling, Simulation and Veri

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
  • System and method for MSVL compiling
  • System and method for MSVL compiling
  • System and method for MSVL compiling

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0058] In order to make the object, technical solution and advantages of the present invention more clear, the present invention will be further described in detail below in conjunction with the examples. It should be understood that the specific embodiments described here are only used to explain the present invention, not to limit the present invention.

[0059] The application principle of the present invention will be described in detail below in conjunction with the accompanying drawings.

[0060] Such as figure 1 As shown, the MSVL language compiling system and method provided by the embodiment of the present invention include: MSVL front-end 1 and LLVM back-end 2 .

[0061] The MSVL front end 1 includes a lexical syntax analysis module 1-1, a preprocessing module 1-2 and an intermediate code generation module 1-3; the LLVM back end 2 includes an object code generation module 2-1.

[0062] Such as figure 2 As shown, the compiling method of the MSVL language that the...

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 a system and method for MSVL compiling. The system comprises an MSVL leading end and a bottom layer virtual machine rear end. The MSVL leading end comprises a morphology grammatical analysis module, a preprocessing module and an intermediate code generating module. An LLVM rear end comprises a target code generation module. A method for MSVL compiling comprises the steps of using a normal form method to preprocess simple statements in MSVL, respectively preprocessing each concurrent component for complex statements, and creating a thread for each concurrent component. According to the system and method for MSVL compiling, problems that in the prior art, efficiency of executing an MSVL program and the efficiency of program verification and execution is affected are solved well, and MSVL program execution and verification efficiency is improved. According to differences of the complexity of a program, the program execution speed can be improved by tens of times or even up to a hundred times; and the program can be repeatedly executed after being compiled successfully in one time and does not need to be compiled again.

Description

technical field [0001] The invention belongs to the technical field of computer programming language and application, and in particular relates to a compiling system and method of MSVL language. Background technique [0002] At present, 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 temporal logic (LTL), branch temporal logic (CTL), and interval-based sequential logic (ITL and CHOP logic). Projected Temporal Logic (PTL) is a new interval-based temporal logic that includes infinite models, past operations, and a new projection operation. It is suitable for describing software and hardware systems with timing intervals, can handle sequential, concurrent, projection and other structures, and has strong expressive ability. The sequential logic language MSVL is an executable subset of PTL, and it is a sequentia...

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
IPC IPC(8): G06F9/45
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