首页> 外文OA文献 >Automatic Mixed-Signal Design Verification Instrumentation with Observation Specification Language

【2h】

Automatic Mixed-Signal Design Verification Instrumentation with Observation Specification Language

机译：具有观察规范语言的自动混合信号设计验证仪器

页面导航

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

著录项

作者
Jonathan David;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Design and Implementation of a Model of a Specification Language for Formal Verification [J] . Kamrul Hasan Talukder, Ahmed Shah Mashiyat, Rezoanoor Rahman Research Journal of Applied Sciences: RJAS . 2008,第4期

机译：形式验证规范语言模型的设计与实现
2. RETRACTED ARTICLE: Study on the expression specifications of geometrical products for function, design, manufacture and verification based on the improved GPS language [J] . Limin Ma, Xiangqian Jiang, Jinxing Wang, The International Journal of Advanced Manufacturing Technology . 2007,第9a10期

机译：缩回文章：基于改进的GPS语言研究用于功能，设计，制造和验证的几何产品的表达规范
3. Study on the expression specifications of geometrical products for function, design, manufacture and verification based on the improved GPS language [J] . Limin Ma, Xiangqian Jiang, Jinxing Wang, The International Journal of Advanced Manufacturing Technology . 2007,第9a10期

机译：基于改进的GPS语言的功能，设计，制造和验证的几何产品的表达规范研究
4. Automatic mixed-signal design verification instrumentation with observation specification language [C] . David Jonathan, BMAS IEEE International Behavioral Modeling and Simulation Workshop . 2007

机译：具有观察规范语言的自动混合信号设计验证仪器
5. Automatic pipeline synthesis and formal verification from transactional datapath specifications. [D] . Nurvitadhi, Eriko. 2010

机译：根据交易数据路径规范自动进行管道综合和形式验证。
6. Specification and production of prototype automatic instrumentation [O] . J. E. Carlyle 1979

机译：原型自动仪器的规格和生产
7. Mixed-signal generator module:Design and Verification in MATLAB and Verilog hardware description language [O] . 2020

机译：混合信号发生器模块：MATLAB和VERILOG硬件描述语言的设计和验证

Automatic Mixed-Signal Design Verification Instrumentation with Observation Specification Language

著录项

引文网络

相似文献

相关主题

期刊订阅