MOdel-based DEsign & Verification for Embedded Systems

Portable Test and Stimulus Standard (PSS) in MODEVES

We are working to incorporate recently introduced Portable Test and Stimulus Standard (PSS) by Accellera in MODEVES framework. The main rationale behind PSS is to provide a simple specification format to allow the test portability among verification elements and reuse it at different level of abstractions. At the same time, Accellera doesn’t provide any reference implementation for PSS and, therefore, tool vendors acquire the required flexibility by incorporating PSS in their corresponding tools as per their requirements. Typical examples of this trend are “Perspec System Verifier” tool from Cadence and “inFact” tool from Questa. In this regard, the MODEVES framework is heading for the extension to simplify the PSS implementation. Particularly, the major PSS concepts like Actions, Objects etc., as given in the standard specification document, can be represented through MMM in MODEVES framework. Subsequently, transformation engine can be upgraded to generate PSS implementations (e.g. Cadence PSS library etc.) along with the RTL and assertions code from high level models. This leads to perform a comprehensive design verification through PSS compliant simulator / tool. Further details will be available soon.

Back to Main Page