All the programs later in the process that make changes to the netlist also, in theory, ensure that these changes are logically equivalent to a previous version.
Всі програми, що пізніше вносять зміни в нетліст, теоретично гарантують, що ці зміни логічно еквівалентні попередній версії.