The unique characteristics allow SDV to offer efficient services for custom protocols.
The typical methodology is to prepare a Formalprotocol definition which can be analysed by the TransactorWizardtoolset for faults.
Once prepared the same Formal protocol definition can be used as the basis to generate multiple views of the transactors to support different stages of the validation / verification / software development process.
This approach is particularly efficient where users require multiple views of a transactor, including:
SystemC for system-level modeling & software development