Runtime Verification of Typical Requirements for a Space Critical SoC Platform-Reference-Cited by-同舟云学术

Runtime Verification of Typical Requirements for a Space Critical SoC Platform

Published:2011 Issue: Volume: Page:21-36
ISSN:0302-9743
Container-title:Formal Methods for Industrial Critical Systems
language:
Short-container-title:

Author:

Ferro Luca,Pierre Laurence,Bel Hadj Amor Zeineb,Lachaize Jérôme,Lefftz Vincent

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24431-5_4

Reference24 articles.

1. IEEE Std 1666-2005, IEEE Standard System C Language Reference Manual. IEEE (2005)

2. IEEE Std 1800-2005, IEEE Standard for System Verilog: Unified Hardware Design, Specification and Verification Language. IEEE (2005)

3. IEEE Std 1850-2005, IEEE Standard for Property Specification Language (PSL). IEEE (2005)

4. Avinun, R.: Validate hardware/software for nextgen mobile/consumer apps using software-on-chip system development tools. EETimes (December 2010), http://www.eetimes.com/design/embedded/4211507/Validate-hardware-software-for-nextgen-mobile-consumer-apps-using-software-on-chip-system-development-tools-

5. Cornet, J.: Separation of Functional and Non-Functional Aspects in Transactional Level Models of Systems-on-Chip. PhD thesis, INP Grenoble (2008)

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

1. AC-DSE: Approximate Computing for the Design Space Exploration of Reconfigurable MPSoCs;Journal of Circuits, Systems and Computers;2018-04-26

2. Formal Verification of SystemC-based Cyber Components;Industrial Internet of Things;2016-10-13

3. Design Space Exploration Using Cycle Accurate Simulator;Innovative Research and Applications in Next-Generation High Performance Computing;2016

4. A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems;Advanced Information Systems Engineering;2014