Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Register Log in

Looking for Hint: How to output failing vectors in Synopsys Formality?

Status
Not open for further replies.
K

kingishm

Newbie level 1
Joined
Mar 10, 2019
Messages
1
Helped
0
Reputation
0
Reaction score
0
Trophy points
1
Activity points
8
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:
HELP1.png

HELP2.png

Thanks!
 

Status
Not open for further replies.

Similar threads

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top