Unified property specification for hardware/software co-verification

机译：硬件/软件协同验证的统一属性规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Fei Xie;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Highly Integrated Hardware/Software Co-Design and Co-Verification Platform [J] . Shufan Yang, Zheqi Yu Design & Test of Computers, IEEE . 2019,第1期

机译：高度集成的硬件/软件协同设计和协同验证平台
2. UVM-powered hardware/software co-verification [J] . Shilpi Birla, Shikha Sharma, Neeraj Kr. Shukla Journal of Information & Optimization Sciences . 2017,第6期

机译：由UVM驱动的硬件/软件协同验证
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. Unified Property Specification for Hardware/Software Co-Verification [C] . Xie, Fei, Liu, . 2007

机译：硬件/软件共同验证的统一属性规范
5. A comprehensive framework for the specification of hardware/software systems. [D] . Silva, Diogenes Cecilio da, Jr. 2001

机译：硬件/软件系统规范的综合框架。
6. Concepts Issues and Standards. Standards for Medical Hardware Software and Information Exchange: MIB Software-Semantic Model ASN.1 Messaging for a Pulse Oximeter [O] . Helen W. Gottschalk, Jan Wittenber 1990

机译：概念问题和标准。医疗硬件软件和信息交换的标准：脉搏血氧仪的MIB软件语义模型ASN.1消息传递
7. A Case of System-level Hardware/Software Co-design and Co-verification of a Commodity Multi-Processor System with Custom Hardware [O] . Sungpack Hong, Nathan Bronson, Tayo Oguntebi, 2013

机译：一个系统级硬件/软件协同设计和与自定义硬件的商品多处理器系统的协同验证案例
8. Unified Tri-Service Cognitive Performance Assessment Battery (UTC-PAB). 2. Hardware/Software Design and Specifications. [R] . Reeves, D. L., Thorne, D. R., Winter, S. L., 1988

机译：统一的三服务认知绩效评估电池（UTC-paB）。 2.硬件/软件设计和规范。

Unified property specification for hardware/software co-verification

著录项

引文网络

相似文献

相关主题

期刊订阅