Mirella Negro Marcigaglia

According to our database, Mirella Negro Marcigaglia authored at least 2 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia

J. Electron. Test., 2015

2014

On the reuse of RTL assertions in SystemC TLM verification.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia

Proceedings of the 15th Latin American Test Workshop, 2014