首页> 外文OA文献 >System Validation by Source Level Emulation of Behavioral VHDL Specifications

【2h】

System Validation by Source Level Emulation of Behavioral VHDL Specifications

机译：通过行为VHDL规范的源代码级仿真对系统进行验证

页面导航

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

著录项

作者
Gernot Koch; Udo Kebschull; Wolfgang Rosenstiel;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Behavioral modeling for high-level synthesis of analog and mixed-signal systems from VHDL-AMS [J] . Doboli A., Vemuri R. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2003,第11期

机译：从VHDL-AMS高级模拟和混合信号系统综合的行为建模
2. Specification and validation of embedded systems using LUSTRE and ARGOS. Case study: the automatic headlight leveling system [J] . Rainer Gmehlich Design automation for embedded systems . 2001,第2期

机译：使用LUSTER和ARGOS对嵌入式系统进行规范和验证。案例研究：自动大灯调平系统
3. Specification and validation of embedded systems using LUSTRE and ARGOS. Case study: the automatic headlight leveling system [J] . Rainer Gmehlich Design automation for embedded systems . 2001,第2期

机译：使用LUSTER和ARGOS对嵌入式系统进行规范和验证。案例研究：自动大灯调平系统
4. System validation by source level emulation of behavioral VHDL specifications [C] . Koch, G., Kebschull, . 1995

机译：通过行为VHDL规范的源代码级仿真进行系统验证
5. Ingredients for successful system level automation & design methodology. Support for multiple models of computation, heterogeneous behavioral hierarchy, model-driven validation, and service-oriented tool integration environment. [D] . Patel, Hiren D. 2007

机译：成功的系统级自动化和设计方法的要素。支持多种计算模型，异构行为层次，模型驱动的验证以及面向服务的工具集成环境。
6. Validation of Multilevel Regression and Poststratification Methodology for Small Area Estimation of Health Indicators From the Behavioral Risk Factor Surveillance System [O] . Xingyou Zhang, James B. Holt, Shumei Yun, -1

机译：从行为危险因素监测系统对健康指标进行小范围估计的多级回归和后分层方法学验证
7. Debugging of Behavioral VHDL Specifications by Source Level Emulation [O] . Gernot Koch, Udo Kebschull, Wolfgang Rosenstiel 1995

机译：通过源代码级仿真调试行为VHDL规范

System Validation by Source Level Emulation of Behavioral VHDL Specifications

著录项

引文网络

相似文献

相关主题

期刊订阅