沈筱彦
- 作品数：4 被引量：4H指数：1
- 供职机构：中国科学院微电子研究所更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- UML到Verilog同态映射在SOC系统级建模上的应用被引量：3
- 2006年
- SOC设计变得日益复杂要求我们在更高层次抽象上分析和验证系统行为。更精细的系统级建模方法变得日趋重要。文章主要目标是阐述怎样使用统一建模语言UML来构建一个复杂SOC设计框架及抽象其各个模块间行为的交互,建立了一个UML到Verilog的同态映射,提出了一个基于同态映射的从UML模型子集自动导出相应可综合Verilog描述的算法,为UML模型对于建模硬件系统提供了形式化的语义,从而能够验证并综合UML模型,加快了SOC设计流程。
- 沈筱彦陈杰王明明
- 关键词：统一建模语言VERILOG硬件描述语言同态映射
- 平均相关器实现GPS基带信号处理
- 本文提出了一种新的软件实现GPS C/A码捕获、跟踪的频域实现方法--平均相关器.利用Matlab仿真表明这种方法不会明显影响信躁比,同时降低了计算量,简化了接收机的相关器设计,更易于硬件实现,为软件接收机提供了可行的实...
- 王明明沈筱彦叶甜春
- 关键词：卫星导航卫星通信软件接收机
- 文献传递
- VOIP终端的软硬件协同设计与实现
- 随着网络技术的飞速发展，基于Internet的多媒体通信日益普及，VOIP，即IP网络电话，作为一种以IP分组交换网络为传输平台，实现计算机之间、计算机与普通电话之间，甚至普通电话之间的实时语音视频通信，并提供相应的增值...
- 沈筱彦
- 关键词：会话初始化协议数字信号处理器软硬件协同设计
- 文献传递
- 基于同态映射的从UML导出可综合Verilog算法
- 2006年
- UML 建模因其可显著提高开发效率和代码质量已经成为软件开发领域的一大热点,而硬件设计的日益复杂性也要求我们在更高层次抽象上分析和验证系统行为,故更精细的系统级建模方法变得日趋重要。本文构建了UML 元模型与可综合 Verilog 间的同态映射,定义了一个从 UML 模型子集导出可综合 Verilog 描述的算法,为 UML模型对于建模硬件系统提供了形式化的语义,从而使运用 UML 进行硬件系统级建模和系统级上验证系统性能和功能正确性成为可能。
- 沈筱彦陈杰
- 关键词：VERILOG硬件描述语言同态映射
