This repository provides the files for the Jane Street ASIC reverse-engineering puzzle! See the blog post for more details.
The puzzle GDS is in this repository, in the file named puzzle.gds. You can preview it using KLayout or the TinyTapeout Online GDS Viewer.
See example_inputs.vcd which shows some inputs being fed to the design (unfortunately, not the correct inputs to make success go high!). You can view it using Surfer or a similar tool.
To help you get started, below is an image with some hints. The region labelled as "output generator" is safe to ignore during your initial reverse-engineering steps, but you'll need to simulate it to get your final answer!
To familiarize yourself with the flow and help develop your tools, we've put together a small example design and run it through a very similar flow to the one used for the real thing! The example design consists of two shift registers, an adder, and a comparator, outputting success if A + B == 496.
You'll find the following files related to the warm-up puzzle:
warmup/00_source.v: The original Verilog source code of the example designwarmup/01_netlist.v: Synthesized netlist comprising of a list of standard cells and connectionswarmup/02_netlist_with_power_rails.v: Netlist with VDD and GND rails addedwarmup/03_post_place_and_route.def: Physical layout of cells and routing connections, corresponding to cell and net names.warmup/04_final.gds: The final manufacturable layout file, with many internal names removed