Formal support for the ELLA hardware description language

机译：正式支持Ella硬件描述语言

代理获取

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

页面导航

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

著录项

作者
Howard Barringer; Graham Gough; Brian Monahan; Alan Williams;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language [J] . Eric Barboni, Celia Martinie, David Navarre, Science of Computer Programming . 2014,第juna15期

机译：弥合行为形式描述技术和用户界面描述语言之间的鸿沟：通过图形用户界面标记语言增强ICO
2. A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity [J] . Lenny Truong, Pat Hanrahan LIPIcs : Leibniz International Proceedings in Informatics . 2019,第4期

机译：硬件描述语言的黄金时代：应用编程语言技术来提高设计生产率
3. Formal Hardware Specification Languages for Protocol Compliance Verification [J] . ANNETTE BUNKER, GANESH GOPALAKRISHNAN, SALLY A. MCKEE ACM Transactions on Design Automation of Electronic Systems . 2004,第1期

机译：用于协议符合性验证的正式硬件规范语言
4. Formal Support for the ELLA Hardware Description Language [C] . Howard Barringer, Graham Gough, Brian Monahan, Advanced Research Working Conference on Correct Hardware Design Methodologies . 1995

机译：正式支持Ella硬件描述语言
5. Interfacing system description languages to formal verification [D] . Baker, Wendell Craig 1996

机译：连接系统描述语言与形式验证
6. Neural Systems Language: A Formal Modeling Language for the Systematic Description Unambiguous Communication and Automated Digital Curation of Neural Connectivity [O] . Ramsay A. Brown, Larry W. Swanson -1

机译：神经系统语言：用于系统描述明确通信和神经连接自动数字化的形式化建模语言
7. A Framework for Automated and Optimized ASIP Implementation Supporting Multiple Hardware Description Languages [O] . Schliebusch Oliver, Chattopadhyay Anupam, Kammler David, 2005

机译：自动和优化的ASIP实现框架，支持多种硬件描述语言

Formal support for the ELLA hardware description language

著录项

引文网络

相似文献

相关主题

期刊订阅