首页> 外文OA文献 >Formal verification coverage: Are the RTL-properties covering the design’s architectural intent

【2h】

Formal verification coverage: Are the RTL-properties covering the design’s architectural intent

机译：正式验证范围：RTL属性是否涵盖设计的架构意图

页面导航

著录项
相似文献
相关主题

著录项

作者
Prasenjit Basu; Sayantan Das; Pallab Dasgupta; P. P. Chakrabarti; Chunduri Rama Mohan; Limor Fix;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent [J] . Hazra A., Mukherjee R., Dasgupta P., IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2013,第11期

机译：POWER-TRUCTOR：用于形式验证和覆盖建筑动力意图的集成工具流程
2. Design-Intent Coverage—A New Paradigm for Formal Property Verification [J] . Basu P., Das S., Banerjee A., IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2006,第10期

机译：设计意图的覆盖范围–正式属性验证的新范例
3. Formal Verification of Architectural Power Intent [J] . Hazra A., Goyal S., Dasgupta P., Very Large Scale Integration (VLSI) Systems, IEEE Transactions on . 2013,第1期

机译：正式验证建筑权力意图
4. Formal verification coverage: are the RTL-properties covering the design's architectural intent? [C] . Basu, P., Das, . 2004

机译：正式的验证范围：RTL属性是否涵盖设计的架构意图？
5. Formal verification and testing of software architectural models. [D] . Argote Garcia, Gonzalo. 2009

机译：正式验证和测试软件体系结构模型。
6. Erratum to: State budget transfers to Health Insurance Funds for universal health coverage: institutional design patterns and challenges of covering those outside the formal sector in Eastern European high-income countries [O] . World Health Organization, Ileana Vilcu, Inke Mathauer 2016

机译：勘误至：将国家预算转移至医疗保险基金以实现全民医疗保险：覆盖东欧高收入国家正规部门之外的医疗保险的体制设计模式和挑战
7. State budget transfers to Health Insurance Funds for universal health coverage: institutional design patterns and challenges of covering those outside the formal sector in Eastern European high-income countries [O] . Ileana Vilcu, Inke Mathauer 2016

机译：国家预算转移到健康保险基金以实现全民健康覆盖：体制设计模式和覆盖东欧高收入国家正规部门之外的挑战
8. Using Formal Specification in the Guidance and Control Software (GCS) Experiment.Formal Design and Verification Technology for Life Critical Systems [R] . Weber, D., Jamsek, D. 1994

机译：使用指导和控制软件（GCs）实验中的形式化规范。生命关键系统的正规设计和验证技术

Formal verification coverage: Are the RTL-properties covering the design’s architectural intent

著录项

相似文献

相关主题

期刊订阅