Certification of Code Generators

To the best of our knowledge, the verification of code generators has never been attempted and even the issues involved are not known clearly. This projects aims at discovering the issues by retargetting a GCC included compiler for a suitable target processor. Considering the interests of BARC/BRNS, we have decided to opt for India's indegenously designed processors ANUPAMA and/or ABACUS from project ANURAG.

Project Deliverables
GCC 3.4 port for ANUPAMA and/or ABACUS Processor.
Report describing the issues in certification of code generators. We would try to address both the approaches of certification (i.e. certifying code generated for a program and certifying a code generator) for GCC included compiler.