Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip-Reference-Cited by-同舟云学术

Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip

Published:2015 Issue: Volume: Page:708-722
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Kriouile Abderahman,Serwe Wendelin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46681-0_62

Reference26 articles.

1. ARM. AMBA AXI and ACE Protocol Specification. version ARM IHI 0022E (February 2013), http://infocenter.arm.com/help/topic/com.arm.doc.ihi0022e

2. Benjamin, M., Geist, D., Hartman, A., Mas, G., Smeets, R.: A Study in Coverage-Driven Test Generation. In: Design Automation Conference, pp. 970–975. IEEE (1999)

3. Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., McKinty, C., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference manual of the LNT to LOTOS translator (version 6.1). INRIA/VASY – INRIA/CONVECS (December 2014)

4. Chen, M., Mishra, P.: Property learning techniques for efficient generation of directed tests. IEEE Transactions on Computers 60(6), 852–864 (2011)

5. Chen, M., Qin, X., Koo, H.-M., Mishra, P.: System-Level Validation: High-Level Modeling and Directed Test Generation Techniques. Springer (2013)

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

1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

2. Is CADP an Applicable Formal Method?;Electronic Proceedings in Theoretical Computer Science;2021-11-16

3. Model-Based Testing for Internet of Things Systems;Advances in Computers;2018

4. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation;Tools and Algorithms for the Construction and Analysis of Systems;2018

5. From LOTOS to LNT;ModelEd, TestEd, TrustEd;2017