Reusing RTL Assertion Checkers for Verification of SystemC TLM Models-Reference-Cited by-同舟云学术

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models

Published:2015-03-20 Issue:2 Volume:31 Page:167-180
ISSN:0923-8174
Container-title:Journal of Electronic Testing
language:en
Short-container-title:J Electron Test

Author:

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

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering

Link

http://link.springer.com/content/pdf/10.1007/s10836-015-5514-8.pdf

Reference40 articles.

1. Abarbanel Y, Beer I, Glushovsky L, Keidar S, Wolfsthal Y (2000) FoCs: automatic generation of simulation checkers from formal specifications. In: Proceedings of CAV, pp 538– 542

2. Accellera (2004) Property specification language reference manual. http://www.accellera.org

3. Bombieri N, Deganello N, Fummi F (2008) Integrating RTL IPs into TLM designs through automatic transactor generation. In: Proceedings of ACM/IEEE DATE, pp 15–20

4. Bombieri N, Fummi F, Pravadelli G (2006) On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. In: Proceedings of ACM/IEEE DATE,pp 1–6

5. Bombieri N, Fummi F, Pravadelli G (2007) Incremental ABV for functional validation of TL-to-RTL design refinement. In: Proceedings of ACM/IEEE DATE, pp 882– 887

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Toward System-Level Assertions for Heterogeneous Systems;Advanced Boolean Techniques;2023

2. AMS Metamorphic Testing Environment;Enhanced Virtual Prototyping for Heterogeneous Systems;2022-05-03

3. SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks;ACM Transactions on Embedded Computing Systems;2021-06

4. Verifying cache architecture vulnerabilities using a formal security verification flow;Microelectronics Reliability;2021-04

5. System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations;Proceedings of the 26th Asia and South Pacific Design Automation Conference;2021-01-18