首页> 外文OA文献 >Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification

【2h】

Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification

机译：正式的片上系统验证中硬件和与硬件相关的软件的组成属性集的覆盖范围

页面导航

著录项
相似文献
相关主题

著录项

作者
Bao Binghao;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Bridges and barriers to hardware-dependent software ecosystem participation - A case study [J] . Krzysztof Wnuk, Per Runeson, Matilda Lantz, Information and software technology . 2014,第11期

机译：依赖硬件的软件生态系统参与的桥梁和障碍-案例研究
2. An interface test model for hardware-dependent software and embedded OS API of the embedded system [J] . Ahyoung Sung, Byoungju Choi, Seokkyoo Shin Computer standards & interfaces . 2007,第4期

机译：嵌入式系统的硬件相关软件和嵌入式OS API的接口测试模型
3. Formal Hardware/Software Co-Verification of Embedded Power Controllers [J] . Dasgupta P., Srivas M.K., Mukherjee R. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2014,第12期

机译：嵌入式电源控制器的正式硬件/软件共同验证
4. Verification of real-time properties for Hardware-dependent Software [C] . Mueller Wolfgang, da S. Oliveira Marcio F., Zabel Henning, 2010 IEEE International High Level Design Validation and Test Workshop . 2010

机译：验证硬件相关软件的实时属性
5. Reasoning about High-Level Constructs in Hardware/Software Formal Verification [D] . Long, Jiang. 2017

机译：硬件/软件形式验证中高级构造的推理
6. Industrial hardware and software verification with ACL2 [O] . Warren A. Hunt Jr, Matt Kaufmann, J Strother Moore, -1

机译：使用ACL2进行工业硬件和软件验证
7. Hardware/software system-on-chip co-verification platform based on logic-based environment for application programming interfacing [O] . Teo Hong Yap 2015

机译：基于基于逻辑的环境的硬件/软件片上系统协同验证平台，用于应用程序编程接口

Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification

著录项

相似文献

相关主题

期刊订阅