The objective of this short summary paper is to show to ESL model and platform developers as well as system architects how to use advanced ESL model validation methodologies to increase model quality and thus reduce the time spend to development and debug ESL virtual platform models. We used the OCP-based Sonics SMX Smart Interconnect model as an example to show an advanced validation flow for ESL models. OCP represents a flexible, but complex interface which has multiple implementations with growing importance for multi-core, SOC design. Sonics SMX Smart Interconnect is one of the implementations, which uses the OCP interconnect. The presented methodology can be also applied to other protocols and smart interconnects.
