svf file

svf file is generated by Synopsys' Design Compiler. It is used by Synopsys' Formality
To generate it, use the following command on Design Compiler (dc_shell) prompt
set_svf "mydesign.svf"
set_svf -append "mydesign.svf"

Design Compiler in the absence of any 'set_svf' command writes a 'default.svf' file

It contains information about how design compiler has transformed names, or nature of
what are called 'compare points' in formality

Design Compiler writes a binary file, which is however converted to .txt, when it is read
by formality.

It contains 'guide' mode commands for formality.

An example svf file can be downloaded here: