Во время LEC (Проверка логической эквивалентности нам нужно загрузить как RTL, так и некоторую стандартную библиотеку в золотую часть, а список соединений в пересмотренную часть. Какая польза от загрузки библиотеки в золотой столбец (учитывая тот факт, что будет выполнено функциональное сравнение) между кодом RTL и списками соединений)?