首页> 外文OA文献 >Verification of Hardware Descriptions by Retargetable Code Generation

【2h】

Verification of Hardware Descriptions by Retargetable Code Generation

机译：通过可重定向代码生成来验证硬件描述

页面导航

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

著录项

作者
Lothar Nowak; Peter Marwedel;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. VCODE: a retargetable, extensible, very fast dynamic code generation system [J] . Dawson R. Engler ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 1996,第5期

机译：VCODE：可重定向，可扩展，非常快速的动态代码生成系统
2. Methodology and Toolset for Model Verification, Hardware/Software co-simulation, Performance Optimisation and Customisable Source-code generation [J] . M. BERGER, J. SOLER, L. BREWKA, WSEAS Transactions on Information Science and Applications . 2013,第4a6期

机译：用于模型验证，硬件/软件协同仿真，性能优化和可定制源代码生成的方法和工具集
3. Retargetable code generation for application-specific processors [J] . A. Doroshenko, D. Ragozin Future generation computer systems . 2005,第5期

机译：针对特定应用处理器的可重定向代码生成
4. Verification of Hardware Descriptions by Retargetable Code Generation [C] . Nowak L., Marwedel P. World Class Manufacture for SMEs: Some ot the Issues . 1996

机译：通过可重定向代码生成来验证硬件描述
5. Retargetable code generation based on data flow graph with storage for embedded systems. [D] . Xu, Chao. 2000

机译：基于数据流图的可重定位代码生成以及嵌入式系统的存储。
6. ANNarchy: a code generation approach to neural simulations on parallel hardware [O] . Julien Vitay, Helge Ü. Dinkelbach, Fred H. Hamker 2015

机译：ANNarchy：在并行硬件上进行神经仿真的代码生成方法
7. Retargetable code generation based on an architecture description language [O] . Hohenauer Manuel 2009

机译：基于架构描述语言的可重定向代码生成
8. Some Examples of Verifying Stage 1 Hardware Descriptions Using the State Delta Verification System (SDVS). [R] . Filippenko, I. V., Boulder, J. M., Levy, B. H. 1962

机译：使用状态Delta验证系统（sDVs）验证第1阶段硬件描述的一些示例。

Verification of Hardware Descriptions by Retargetable Code Generation

著录项

引文网络

相似文献

相关主题

期刊订阅