Thank you very much, for your answer.
So ISE is from Xilinx, I understood. Actually a wanted to know for what is IC-Compiler(from synopsys) not ISE (my mistake) , but is good to know.
So now I'm using(where I'm studying) Icarus verilog (it's a free verilog compiler + GtkWave for displaying simulation waves, Icarus Verilog can synthesize verilog to gate level, I belive it's EDIF format.) But I do not know any tool which can read that format(I mean, to display schematic,of the gate level) . I will ask at my University what tools they have for study purpose.
So I have one more question, synopsys IC compiler, saber, primetime, cosmosscope what is for?
And I've understood that I need some technology file for synthesis(I want to learn to see how it will be synthesized my verilog code, and after that time constraints, just for study).
Is there any technology files free(for study purpose). And where can I download them?
Thanks in advance, and I WISH YOU A HAVE A GOOD DAY !