scholin
Newbie level 3
hi guys:
i perform the verification for rtl vs. netlist.
i encounter a problem in the match stage of formality.
there are some of unmatched points in the reference object, but these unmatched points do not appear in the implementation object.
the type of unmatched points is DFF.
pls tell me what is this problem and how to fix it?
thanks!!
i perform the verification for rtl vs. netlist.
i encounter a problem in the match stage of formality.
there are some of unmatched points in the reference object, but these unmatched points do not appear in the implementation object.
the type of unmatched points is DFF.
pls tell me what is this problem and how to fix it?
thanks!!