Jane Street lüftet das Geheimnis seines ASIC-Puzzles
Results from the ASIC puzzle
Über 400 Einsendungen aus mehr als 30 Ländern gingen bei Jane Streets ASIC-Puzzle ein, bei dem aus einem GDS-Layout die Funktion eines Chips reverse-engineered werden musste. Die Lösung: ein Hardware-Checker für ein 11x11 Star-Battle-Rätsel. Die Teilnehmer nutzten KLayout, Yosys und Z3, aber auch selbstgeschriebene Extraktoren, SAT-Solver und sogar Minecraft. Zwei fanden alle sechs Easter Eggs, sechs weitere sechs von sieben – inklusive eines Layout-Bugs.
Einige wenige inkorrekte Lösungen geben die Zeichenkette „TRY AGAIN“ aus, aber ein paar lösen die unten aufgeführten Easter Eggs aus.