An alternative way to solve this is to formally prove that the RTL code and the netlist synthesized from it have exactly the same behavior in all (relevant) cases.
Альтернативний спосіб вирішення цієї проблеми - формально довести, що RTL-код та синтезований з нього нетліст мають однакову поведінку у всіх (відповідних) тестах.