A conversion method from c language to msvl language

A conversion method, a technology in C language, applied in the direction of program control design, instrumentation, electrical digital data processing, etc., to achieve the effect of guaranteeing the program, guaranteeing validity and reliability

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

AI Technical Summary

Problems solved by technology

Projected sequential logic is also extremely useful in formal description and verification of real-time and hybrid systems, especially safety-critical systems. For example, the manned spaceflight system is a complex hybrid real-time system. In order to ensure the safety and reliability of the system, traditional The test method is far from meeting the requirements, and it is very useful to adopt formal verification technology

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 conversion method from c language to msvl language

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0047] The invention provides a computer language conversion system, which can convert C language into MSVL language to detect C language programs. It specifically includes a computer language conversion system for converting a C language program into an MSVL language program, which includes a lexical analysis module that converts a character sequence into a word sequence, and the character sequence includes the key in the C language Definitions of words, identifiers, constants, operators, header files and comment lines; it also includes a syntax analysis module, which is based on the relevant lexical rules of the C language specified in yacc, and then identifies specific sentences in the C language; It also includes a conversion processing module, which converts C language into MSVL language according to the language conversion law between C language and MSVL language.

[0048] Please refer to figure 1 , The following describes the method of using the computer language conversi...

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 computer language transformation system. The computer language transformation system is used for transforming C language program into MSVL (Modeling, Simulation and Verification Language) program, and comprises a lexical analysis module, a syntax analysis module and a transformation processing module, wherein the lexical analysis module is used for transforming character sequences into word sequences; the character sequences comprise definitions of key words, identification characters, constants, operators, header files and comment lines in C language; the syntax analysis module is used for identifying specific sentences in C language based on related lexical rules of C language specified in yacc (Yet Another Compiler Compiler); and the transformation processing module is used for transforming C language into MSVL language according to a language transformation rule between C language and MSVL language.

Description

Technical field [0001] The invention relates to the technical field of computer programming language C language, in particular to a method for converting a structured sentence of C language to a corresponding sentence of MSVL. Background technique [0002] C language is a universal, procedural programming language, which is widely used in the development of systems and application software. It has the characteristics of high efficiency, flexibility, rich functions, strong expressiveness and high portability, and is very popular among programmers. The new international standard draft C11 for the C language officially announced by ISO in 2011 improves the compatibility with C++ and adds new features to the C language. New features include support for multi-threading, support for Unicode based on the ISO / IECTR19769:2004 specification, and provide more macro definitions and static declaration functions for querying the characteristics of floating-point numbers. Although the C langu...

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/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