Results from the ASIC puzzle
Le puzzle proposait un layout GDS final d'une puce sans netlist ni noms de signaux, et le défi consistait à en extraire et comprendre le fonctionnement. La puce vérifie matériellement un Star Battle 11x11 : elle reçoit 121 cycles d'entrées, compte deux étoiles par ligne, colonne et région via des compteurs 2 bits et utilise une ligne de retard pour empêcher les étoiles adjacentes. L'architecture inclut une ROM de 121 bits pour l'appartenance aux régions, un compteur du total d'étoiles et une logique de sortie qui décode une chaîne stockée en ROM obfusquée par un petit LFSR, donnant "TWO STARS" en cas de succès. Les participants ont extrait le netlist depuis le GDS, simulé ou évalué le circuit, utilisé des approches dynamiques et des solveurs SAT, et ont créé de nombreuses visualisations et réimplémentations originales. L'expérience a mis en évidence l'usage croissant de l'IA pour construire des outils, l'importance de valider plusieurs implémentations pour éviter les erreurs, et Jane Street invite à concevoir des puces programmables dans un concours ASIC.