Welcome to the MIPS-Why3k Development
The
MIPS 32-bit architecture is used worldwide in teaching Computer Engineering due to its clean and simple design. This project aims to extend on the traditional view of the Hardware/Software interface to include aspects of
modelling, code
verification, code
analysis, and
certified programming.
For further information, see the
Documentation and
Section A for getting started.
/ Per Lindgren September 2015