A Transaction Level Assertion Verification Framework in SystemC: An Application Study

This paper presents a new transaction level assertion verification framework built on top of SystemC to support the integration of assertion based verification in a model driven design methodology. A key point of the proposed framework is that it enables decoupling the work of the design and verification teams. This is possible thanks to data introspection capabilities; the fact that the assertions are not embedded in the design model code; and the abstraction in the property specification. Thus, the two teams can work in parallel starting from the natural language specification, reducing the development time.