关于DC生成.svf文件打开的问题

Q1：DC生成的.svf文件能通过文本打开吗？

A1：不能，但是formality吃进去之后会生成一个svf.txt文件，可以通过文本打开。

 

Summary 1：Formality用户手册以及其他

　　forug.pdf：　　user guide

　　frmn.pdf：　　 error page

　　frmn1.pdf：　   tool invocation commands

　　frmn2.pdf：　   tool commands

　　frm3.pdf：　　 variables and Attributes