Software Co-Verification based on program traces from different processors

• Grant number: 13/23647-0
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: April 01, 2014
• End date: March 31, 2016
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computer Systems
• Principal Investigator: Rodolfo Jardim de Azevedo
• Grantee: Luís Fernando Antonioli
• Host Institution: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Abstract

The ever increasing complexity of electronic systems and tight time-to-market has made designers of MPSoc (Multiprocessor System-on-chip) adopt higher abstraction levels and the so called Electronic System Level (ESL) design methodology. In this scenario, virtual platforms play an important role. Processors are key components of such virtual platforms, where Architecture Description Languages are applied to automatically generate simulators and other software tools. Considering the importance of virtual platforms verification, co-verification mechanisms based on matching execution traces are going to be studied in this project, focusing on comparing the execution trace of the same program in two distinct architectures.