|
|
|
|
|
|
by daveasdf
5496 days ago
|
|
|
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. |
|
|