Andy
Guest
Mon Dec 19, 2005 5:35 pm
Hi, I am a newbie to learn Formality. And I am not sure if there is any
free resource about Formality online? Any suggestion is welcome
Alvin Andries
Guest
Mon Dec 19, 2005 8:10 pm
"Andy" <Zhengyuan.Quan_at_gmail.com> wrote in message
news:1135013751.921168.143930_at_o13g2000cwo.googlegroups.com...
Quote:
Hi, I am a newbie to learn Formality. And I am not sure if there is any
free resource about Formality online? Any suggestion is welcome
Log into solvnet (solvnet.synopsys.com) and download the user guide for
Formality.
But, normal designs are quite simple to handle:
1) read in the technology libraries
2) read in the reference designs
3) read in the implementation designs
4) match
4.bis) resolve unmatched compare points
5) verify
5.bis) look into failing points
Things get harder if you use a lot of optimized arithmetic with the old VHDL
parser in DC (or if you use a different synthesis tool).
Regards,
Alvin.
