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