из структурного HDL или нетлиста, получить поведенческий HDL Опции

[zzzzzzzz]

Иногда приходится сталкиваться с проблемой кривизны сторонних схем.
Иногда их даже сложно перевести в базис библиотеки стандартных ячеек для реализации ASIC.

Вопрос - не появилось ли инструментов, позволяющих из структурного HDL или нетлиста получить поведенческий HDL?

Дабы потом можно было бы пересинтезировать схему на нужном базисе.

Ясно, что это может быть суровый автоматически тестирующий схему алгоритм с огромным количеством автоматически генерируемых тестов, покрывающих функцию схемы под 100% и автоматическим анализом состояний и выявлением закономерностей. Некий ИИ, говоря образно.
Но, может быть, это уже как-то решаемо? Хотя бы с минимальной помощью в виде подсказкок со стороны человека.