kingishm
Newbie level 1
Hello,
I am a student using Synopsys Formality in my final year project. I would like to output the failing vectors that Formality generates to a text file if possible. Do any of you know if Formality (perhaps fm_shell) has such functionality?
Here is an example. I have a failing point here (nevermind the design), and I'd like to output the "patterns" view in a text format:
Thanks!
I am a student using Synopsys Formality in my final year project. I would like to output the failing vectors that Formality generates to a text file if possible. Do any of you know if Formality (perhaps fm_shell) has such functionality?
Here is an example. I have a failing point here (nevermind the design), and I'd like to output the "patterns" view in a text format:
Thanks!