I meet an issue when I read .svf file with "set_svf ./svf_name.svf", that generated an error report:
##################################
line 1: syntax error at 'c'
Error: Invalid SVF, contents ignored (FM-339)
0
##################################
I generated my svf file with Synopsys DC:
##################################
set_svf ./svf_name.svf
##################################
Does anybody know the reason of the failure?
Thanks.
Note:
The version of my sofeware:
DC: Version A-2007.12-SP3 for linux;
Formality: Version X-2005.12
As the Error is in Line 1, I could be either of below:
1) Use a newer version of FM, ahead of A-2007.12-SP3 version of DC.
2) SVF file was not clsoed properly in DC. Exit the DC session before reading SVF into formality. Also use "set_svf -off" command before "exit" command in dc_shell to close the svf file.
The issue has been solved, the reason is the old version number of Formality indeed,
I updata Formality to the latest version and the .svf file works.
Thank all of you!