首页> 外文OA文献 >A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware

【2h】

A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware

机译：时钟域交叉的形式化模型和时间触发硬件的自动验证

代理获取

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

页面导航

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

著录项

作者
Schmaltz J.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Clock Domain Crossing Verification Software [J] . Warren Andrews Portable Design: The Engineer's Resource for Portable Applications . 2007,第5期

机译：时钟域交叉验证软件
2. Runtime hardware Trojan monitors through modeling burst mode communication using formal verification [J] . Khalid Faiq, Hasan Syed Rafay, Hasan Osman, Integration . 2018,第MARa期

机译：运行时硬件Trojan通过使用正式验证对突发模式通信建模来监视
3. Automated formal verification of visual modeling languages by model checking [J] . Daniel Varro Software and systems modeling . 2004,第2期

机译：通过模型检查自动进行视觉建模语言的形式验证
4. A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware [C] . Schmaltz Julien, FMCAD International Conference on Formal Methods in Computer Aided Design . 2007

机译：时钟域交叉线的正式模型和时间触发硬件的自动验证
5. Formal modeling and automated verification of design patterns. [D] . Peng, Tu. 2010

机译：正式建模和设计模式的自动验证。
6. fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components [O] . Lenny Truong, Steven Herbst, Rajsekhar Setaluri, -1

机译：故障：用于元编程的Python嵌入式域特定语言用于Metogrogramming便携式硬件验证组件
7. A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware [O] . Julien Schmaltz 2007

机译：时钟域交叉线的正式模型和时间触发硬件的自动验证
8. A Formally Verified Algorithm for Clock Synchronization Under a Hybrid Fault Model [R] . Rushby, John 1996

机译：一种混合故障模型下时钟同步的形式化验证算法

A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware

著录项

引文网络

相似文献

相关主题

期刊订阅