实验七形式化验证工具Formality
班级：XX 姓名：XX 学号：XX
1 实验目标
了解Formality工具的工作流程；
了解Formality工具的调试流程；
熟悉使用脚本进行调试，并通过图形化界面进行调试形式化验证中的不匹配点；
2 实验任务
在GUI环境下，对方使用Formality进行形式化验证的环境；
在命令行运行模式下，根据实验指导书及示例工程完成对一个简单电路的形式化验证；
3 实验环境
安装远程访问工具Xmanager/Xwin-pro的PC机：1台/生；
Linux服务器
4 实验内容
4.1 Formality工具GUI使用
按照实验指导书中的步骤，以图形方式完成对测试用例的形式化环境建立，包括参考、被测设计，库文件导入等内容。

4.2 测试用例的Formality流程
（分析第一个TCL命令的作用，并结出对应结果）
5.思考问题
（说明在进行Formality的Debug过程中的问题及解决方法）。