Каким образом получаеться нетлист у Coregen Опции

[Olxx]

Задался вопросом - есть Coregen, который может генерировать корки в виде нетлиста. Эти нетлисты могут генерится для разных типов плис с разными вариантами настроек и конфигураций. По идее - единственный вариант для генерации таких корок - это хранить исходники (пусть даже в зашифрованом виде) и при необходимости синтезировать нужный нетлист. Но в большинстве корок Ксилинкса (даже платных) исходники отсутствуют, но нетлист как-то генерится. Кто знает - как они умудряються нетлист синтезировать???