Integration and Verification of GreenSocs Model
Jerome Lemaitre, CoFluent Design, France
Mark Burton, GreenSocs, UK

With CoFluent Studio, multi-processor systems are specified using mixed graphical and textual notations. Transaction-level SystemC code is automatically generated from these descriptions, such that the behavior and performance of the system can be analyzed early and rapidly by executing abstract models in complete independence of the availability of embedded software code or hardware IP blocks. More refined SystemC models such as GreenSocs models can be integrated into CoFluent Studio. In this case, CoFluent Studio can serve to create and generate a SystemC testbench to validate GreenSocs platform models and analyze the impact of parameters ranging from memory access times to PV or PVT protocols on the behavior and performance of the platform model.

In this presentation we'll describe how CoFluent Studio can be used as a testbench to rapidly integrate, analyze and verify GreenSocs models.

GreenSocs models can easily be integrated into CoFluent Studio based on wrappers, which convert generic transactions in CoFluent models to more specific PV/PVT transactions in GreenSocs models. The verification and validation of the behavior of GreenSocs models can be automated by using CoFluent Studio as a testbench. Moreover, optimal test configurations can be found within minutes by analyzing the impact of generic parameters.