[SOLVED] LEC formality

[hashbrown]

Hi, I am running an LEC using synopsys tool Formality. I am using tcl scripting to run it. Now the problem is my LEC when runs, displays whole LEC process and relevant prints on terminal but it saves it in .fss session file. This file is not in a human readable format. Is there any way to read them back? I checked the user guide, I ran LEC with tee but it throws error, while I run the save_session command after LEC run finishes and when restore it says nothing. I want to save my terminal whole LEC run in a form of report. How can I do that?

 

[sky_siliconthink]

How about: source lec_run.tcl > lec.log

 

[hashbrown]

I was able to run using tee at the time of fm_shell invocation. This works too. Thanks for your response.