Login / Signup
Giovanni Auditore
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 1
Top Topics
Concurrent Systems
Statistical Model
Website
Verification Method
Top Venues
J. Electron. Test.
LATW
</>
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)