Mirella Negro Marcigaglia

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 1

Top Topics

Concurrent Systems

Statistical Model

Verification Method

Top Venues

J. Electron. Test.

Publications

Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electron. Test. 31 (2) (2015)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
On the reuse of RTL assertions in SystemC TLM verification. LATW (2014)