Antmicro’s Renode simulation framework includes hundreds of hardware models created throughout the years, with new ones added on a regular basis as the framework grows. The goal of this thesis project was to develop a tool that would allow us to analyze Renode’s codebase in an automated way, in order to generate structured reports detailing the status of the models.
The resulting tool employs the Roslyn compiler suite to analyze and extract data from Renode peripheral models. The results of the analysis can be used to verify their completeness, correctness and compatibility, report diagnostics, generate automatic reports and compare peripheral models for best fitness.