Adrian ended up modifying his setup later so that rather than running on real hardware, the testbed ran in a hardware simulator that only used the documented pr

Adrian ended up modifying his setup later so that rather than running on real hardware, the testbed ran in a hardware simulator that only used the documented properties of the chips. This made the final results not quite as concise (I recall something like 20% more gates used), but they worked on all equivalent chips. I looked for more stuff by him, but he ended up going into evolving database schemas or something like that and got out of the hardware game altogether. Kinda disappointing, really.