Andy
Guest
Wed Dec 21, 2005 6:54 am
Hi,
when I step into the matching phase of formality to compare my rtl
design with the corresponding netlist, the unmatched points summary
lists a lot of unmatched registers in my rtl design labelled as DFF0 or
DFF1 and this conclusion is logically correct. I think they are
recognized as unmatched points because the synthesis tool has made
optimization when it finds these registers resolved as constants and
simply saves a individual So can anyone tell me if I should do anything
with these kind of unmatched points before I go further into the verify
phase? Or if i ignore these mismatches, will they cause verification
failure?
Guest
Wed Dec 21, 2005 4:38 pm
Ignore them and go further into the verification phase. This is normal
warning in formal check. They won't cause failures.
Nandy
www.nandigits.com
Netlist Debug/ECO in GUI mode.
