首页> 外文会议>ACM/IEEE conference on Design automation >Novel verification framework combining structural and OBDD methods in a synthesis environment

【24h】

Novel verification framework combining structural and OBDD methods in a synthesis environment

机译：在综合环境中结合结构和OBDD方法的新型验证框架

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《ACM/IEEE conference on Design automation》|1995年|P.414-419|共6页
会议地点
作者
Subdodh M. Reddy; Wolfgang Kunz; Dhiraj K. Pradhan;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. A novel framework for logic verification in a synthesis environment [J] . Kunz W., Pradhan D.K. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 1996,第1期

机译：综合环境中用于逻辑验证的新颖框架
2. Weakly Coupled Hybrid Simulation Method for Structural Testing: Theoretical Framework and Numerical Verification [J] . Giotis Georgios, Kwon Oh-Sung, Sheikh Shamim A. Journal of structural engineering . 2020,第2期

机译：结构测试的弱耦合混合仿真方法：理论框架与数值验证
3. Synthesis of isostructural metal-organic frameworks, CPO-27s, with ultrasound, microwave, and conventional heating: Effect of synthesis methods and metal ions [J] . Enamul Haque, Sung Hwa Jhung Chemical engineering journal . 2011,第3期

机译：超声，微波和常规加热合成同构金属有机骨架CPO-27s：合成方法和金属离子的影响
4. Novel Verification Framework Combining Structural and OBDD Methods in a Synthesis Environment [C] . Subodh M. Reddy Wolfgang Kunz Dhiraj K. Pradhan Design Automation, 1995. DAC '95. 32nd Conference on . -1

机译：综合环境中结合结构和OBDD方法的新型验证框架
5. A framework for formal methods driven verification and validation of dependable real-time protocols. [D] . Sinha, Purnendu. 2000

机译：用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
6. A Data-Driven Damage Identification Framework Based on Transmissibility Function Datasets and One-Dimensional Convolutional Neural Networks: Verification on a Structural Health Monitoring Benchmark Structure [O] . Tongwei Liu, Hao Xu, Minvydas Ragulskis, 2020

机译：基于传递函数数据集和一维卷积神经网络的数据驱动型损伤识别框架：结构健康监测基准结构的验证
7. Combining Structural and Symbolic Methods for the Verification of Concurrent Systems [O] . Jordi Cortadella 1998

机译：结合结构和符号方法验证并发系统

Novel verification framework combining structural and OBDD methods in a synthesis environment

著录项

相似文献

相关主题

期刊订阅