There is this game #TuringTumble, it’s about solving logic #puzzles in a very tactile way: literally with balls and switches. Well, it‘s first about #synthesising, and then #place-n-routing the pieces on the board. See where I’m aiming at? We do actually have tools that do that very well! What‘s needed is *just* defining our board and it’s components in a formal way to be compatible with #yosys and #nextpnr. Then we will be able to express any #verilog as a Turing-tumble board. Yeah!