You might be thinking of Verisoft and their "VAMP" hardware stack: http://www.verisoft.de/SubProject2.html

The original goal of the project was to have a verified computer stack, with proofs going from the software, compiler and processor all the way down to the gate level.

I am not sure how far they got, but I don't think the project is still active, which is a bit sad.