Formal and executable contracts for transaction-level modeling in SystemC.

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal

Browse the full EMSOFT paper archive.