An automatic conversion system from hardware language vhdl to msvl

Abstract

An automatic conversion system from hardware language VHDL to MSVL, which can convert VHDL language program files into MSVL language program files, and the conversion system includes a file analysis module, a lexical analysis module, a syntax analysis module, an information storage module, and a translation module , Translation result string connection module. After VHDL program is converted into MSVL program, the same language is used for model construction and property description, so that the verification can be carried out under the same logic framework, and the indirect model checking of VHDL language program can be realized conveniently. In the conversion process, the VHDL program is converted into a semantically equivalent MSVL program by formulating conversion rules of different grammatical structures and some additional auxiliary means, so that the equivalent MSVL program can be simulated, modeled and Verification, to ensure the correctness of the source VHDL program.

Description

technical field [0001] The invention relates to lexical analysis and syntax analysis in the technical field of hardware description language VHDL language and the technical field of compilation principle, in particular to an automatic conversion system from VHDL to MSVL, which is used for converting a hardware circuit program described by VHDL to semantically equivalent MSVL code . Background technique [0002] The full name of VHDL is Very-High-Speed ​​Integrated Circuit Hardware DescriptionLanguage, which was born in 1982. At the end of 1987, VHDL was recognized as a standard hardware description language by the IEEE and the US Department of Defense. Since IEEE-1076 (referred to as version 87), various EDA companies have successively launched their own VHDL design environments, or announced that their design tools can interface with VHDL. In 1993, IEEE revised VHDL to expand the content of VHDL from a higher level of abstraction and system description capabilities, and a...

AI Technical Summary

Problems solved by technology

[0006] In addition, the modeling, simulation, and verification language MSVL and the hardware description language VHDL share many similarities in syntax, making conversion possible

Images