Copyright 2009 Structured Design Verification Ltd.
Derivative transactor IP
Return to products....

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 TransactorWizard toolset 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
  • SystemC or SystemVerilog for TBV
  • Verilog for emulation