D
Davy
Guest
Hi all,
I use conformal to compare logic with netlist and RTL. But some logic
is synthesized by retiming. Can I set some constraints to compare
retiming netlist and RTL? And is set Black-box means just compare the
input and output logic of the Black-box?
Best regards,
Davy
I use conformal to compare logic with netlist and RTL. But some logic
is synthesized by retiming. Can I set some constraints to compare
retiming netlist and RTL? And is set Black-box means just compare the
input and output logic of the Black-box?
Best regards,
Davy