А вот и нет. Есть функциональный эквивалент, например, поведенческая модель. Синтезировать её нельзя. Эта модель генерится автоматически из С++ модели. Далее по желанию. Либо сами, либо на откуп toolchain.
В большинстве случаев топологию отреверсить нельзя. Как только количество металлических слоёв больше 2, всё, приехали. Но, если прицепиться логическим анализатором и анализатором прототипа, то можно получить:
- тестовые векторы
- статистические зависимости (как запись в тот или иной порт влияет на дисперсию событий)
Затем из этих двух элементов делаем rule checker или маску проверки. И продолжаем гонять железку.
Цель - получение достаточно точной функциональной копии.
Пример1: Yamaha V9938 обратно совместим с TMS 9918. Чем эта совместимость была обеспечена? Функциональным реверсом. Топология не изучалась (т.к. не было необходимых утилит, также нарушение патентного права). Дата выхода TMS9918 - 79 год. 9938 - 1984 год. Начало работ 1982 год, т.е. через 3 года после выхода 9918.
Пример2: Yamaha YM2602 где-то 1983 год. Тоже фунциональный ревес.
Почему так? Потому что не 100% эквивалент был нужен, а примерная фунциональная обратная совместимость (также позволяет получить патентную чистоту). Видео интерфейс другой и видео память тоже.
Топологический реверс нужен чтобы из I8080A сделать кр580ик80. Да и то эта задача достаточно сложная.





Ответить с цитированием