Correct-by-construction hardware design with modern ergonomics — and an AI hardware engineer built in.