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