PREESM provides a complete framework for fast prototyping. It generates a simulation and an optimized multiprocessor code from graph descriptions of algorithm and architecture. Please visit the project homepage at http://preesm.sourceforge.net.
Jack is an optimizing C compiler for the Jackal 3.0 ISA. The Jackal 3.0 ISA is the target architecture for UVa's Advanced Digital Design Course. JackCC is ready for production use. Additionally, I've written an assembler/simulator: jackas
A function is computable if it can be computed by a Turing machine.
A Turing machine is a very simple machine, but, logically speaking, has all the power of any digital computer. The Turing Optimizer utilizes this to superoptimize code.