首页> 外文OA文献 >Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware

【2h】

Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware

机译：迈向统一CSP异步硬件分层验证的方法

代理获取

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

页面导航

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

著录项

作者
Wang X.; Kwiatkowska M.; Theodoropoulos G.; Zhang Q.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On The Semantics Of Communicating Hardware Processes And Their Translation Into Lotos For The Verification Of Asynchronous Circuits With Cadp [J] . Hubert Garavel, Gwen Salauen, Wendelin Serwe Science of Computer Programming . 2009,第3期

机译：通信硬件过程的语义及其转换为Lotos以便用Cadp验证异步电路的语义
2. Modeling and Verifying Hierarchical Real-Time Systems Using Stateful Timed CSP [J] . JUN SUN, YANG LIU, JIN SONG DONG, ACM transactions on software engineering and methodology . 2013,第1期

机译：使用状态定时CSP建模和验证分层实时系统
3. A PUF-based unified identity verification framework for secure loT hardware via device authentication [J] . Zhao Huang, Quan Wang World Wide Web . 2020,第2期

机译：基于PUF的统一身份验证框架，用于通过设备身份验证实现安全的loT硬件
4. Gate-level modelling and verification of asynchronous circuits using CSP{sub}M and FDR [C] . Mark B. Josephs IEEE International Symposium on Asynchronous Circuits and Systems . 2007

机译：使用CSP {sub} M和FDR的门级建模与异步电路的验证
5. A unified approach to hardware verification through a heterogeneous logic of design diagrams. [D] . Fisler, Kathryn. 1996

机译：通过设计图的异构逻辑进行硬件验证的统一方法。
6. Unified Open Hardware Platform for Digital X-Ray Devices; its Conceptual Model and First Implementation [O] . F. Aytac Durmaz, Altay Brusan, Cengizhan Ozturk 2020

机译：统一的数字X射线设备开放硬件平台;其概念模型和第一实施
7. A unified approach for combining different formalisms for hardware verification [O] . Klaus Schneider, Thomas Kropf 1996

机译：结合不同形式进行硬件验证的统一方法
8. PRISMATIC: Unified Hierarchical Probabilistic Verification Tool [R] . Musliner, D. J., Engstrom, E. 2011

机译：pRIsmaTIC：统一的分层概率验证工具

Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware

著录项

引文网络

相似文献

相关主题

期刊订阅