随着软件系统日益增长的复杂性以及应用的广泛性,其正确性、可靠性不可避免地成为了当今软件系统首当其冲需要解决的问题。而对于庞大、复杂的软件系统来说,无法依靠传统的测试方法来保证其所需要的可靠性、完备性。取而代之的是形式化验证,它是通过数学逻辑来对软件系统进行严密地分析、推导和验证,成为了当下复杂软件系统可信保障的一个重要途径。基于时序逻辑的系统验证是形式化验证的一个重要方法,MSVL正是一种时序逻辑程序设计语言,其适用于软、硬件系统的仿真、建模以及验证。实现一门语言通常有两种方式:编译器和解释器,但其性能是存在差异的。众所周知,编译器在无论是在运行速度还是内存占用方面的性能都比解释器更加优秀,所以对于MSVL语言来说,如何设计并开发出一款性能优越的编译器显得尤为重要。本文的主要工作是在64位Linux平台下,基于LLVM框架,从词法分析、语法分析、语义分析到IR代码产生、优化以及目标代码的生成,设计开发出高效通用的MSVL编译器。在编译器测试阶段,为了得到大量的测试用例,需要一些工具来将其它语言中的优秀算法快速地转换为MSVL程序。当前MSVL生态系统已存在将VHDL转为MSVL的V2MSVL工具、Verilog转为MSVL的Veri2MSVL工具以及C语言转为MSVL的C2MSVL工具。其中C2MSVL工具也可以用于部分C++程序的转换,但无法处理涉及C++面向对象部分的程序。针对此缺陷,我们使用Shell语言开发了一个转换工具,主要用来以C++面向对象部分为核心,进行C++到MSVL程序的转换。