GDSII'den Devreye: Jane Street'in Yonga Bulmacasını Tersine Mühendislik

Jane Street'in 2026 bulmacası yalnızca bir GDSII dosyası sunuyor -normalde yongaların üretime gönderilen fiziksel maske formatı- ve içinde 11x11 Star Battle bulmacasını denetleyen bir sayısal devre saklı. Bulmacayı çözmek, ham poligonlardan başlayıp doğrulanabilir bir durum makinesine kadar tüm tasarımı yeniden inşa etmeyi gerektiriyor.

Yazar, düzeni bir derleyici çıktısı gibi ele alarak her aşamayı tek tek tersine çevirdi: standart hücre izdüşümleri, açık kaynaklı sky130 PDK'sıyla geometrik XOR yöntemiyle -tüm döndürme ve ayna varyasyonları denenerek- karşılaştırıldı ve hiçbir belirsizlik olmadan 69 hücre tanımı belirlendi. Metal ve via bağlantıları izlenerek 722 mantık örneğinden (630 kapı, 92 flip-flop) oluşan tam bir netlist çıkarıldı; bu model hem Liberty dosyalarındaki Boole fonksiyonlarının z3 ile kanıtlanmasıyla hem de transistör seviyesinde doğruluk tablosu çıkarımıyla iki ayrı yöntemle doğrulandı, ardından referans bir VCD izi tekrar oynatılıp yosys/ABC ile sınırlı model denetimi yapılarak kabul edilen seri giriş bulundu.

Önemi şurada: bu yazı, hücre kütüphanesi eşleştirme, bağlantı onarım sezgiselleri ve grafik tabanlı durum makinesi kurtarma gibi teknikleri içeren, kaynak RTL olmadan kara kutu yongaları denetleyen güvenlik araştırmacıları ve doğrulama mühendisleri için pratik bir netlist çıkarma rehberi niteliğinde.