External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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. Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electronic Testing, 31(2):167-180, 2015. [doi]

Authors

Nicola Bombieri

This author has not been identified. Look up 'Nicola Bombieri' in Google

Franco Fummi

This author has not been identified. Look up 'Franco Fummi' in Google

Valerio Guarnieri

This author has not been identified. Look up 'Valerio Guarnieri' in Google

Graziano Pravadelli

This author has not been identified. Look up 'Graziano Pravadelli' in Google

Francesco Stefanni

This author has not been identified. Look up 'Francesco Stefanni' in Google

Tara Ghasempouri

This author has not been identified. Look up 'Tara Ghasempouri' in Google

Michele Lora

This author has not been identified. Look up 'Michele Lora' in Google

Giovanni Auditore

This author has not been identified. Look up 'Giovanni Auditore' in Google

Mirella Negro Marcigaglia

This author has not been identified. Look up 'Mirella Negro Marcigaglia' in Google
runs on