A Transaction Level Assertion Verification Framework in SystemC: An Application Study | Publicación