3 ms·
You might be thinking of Verisoft and their "VAMP" hardware stack: http://www.verisoft.de/SubProject2.html http://www.verisoft.de/SubProject2.html The original
by daveasdf 15y ago
You might be thinking of Verisoft and their "VAMP" hardware stack: http://www.verisoft.de/SubProject2.html 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.