Abstrait

Vérification et confirmation des fonctions dans MIPS

Dr Manoj Kumar Jain, Mme Veena Ramnani

La complexité de la conception des systèmes embarqués augmente de jour en jour. Un système embarqué est une combinaison de matériel et de logiciel. Les systèmes embarqués sont définis au sens large comme des systèmes conçus pour une application particulière tout en répondant à des contraintes de conception strictes. De plus, la concurrence du marché et la demande croissante d'équipements électroniques poussent les concepteurs à raccourcir les cycles de conception des nouveaux produits. Il existe un compromis bien connu entre la reciblage et la qualité du code en termes de performances et de taille de code par rapport au code optimisé à la main. En effet, lorsque l'espace de conception est grand, toutes les optimisations spécifiques à la cible possibles ne peuvent pas être effectuées dans ce cas. Dans cet article, nous avons démontré l'importance du compilateur reciblable. La contribution majeure de cet article réside dans la conception et le développement d'un compilateur reciblable pour MIPS, en particulier dans l'implémentation de fonctions.