基于CORDIC算法的流水线型DDS设计

信号源是电子系统中重要的组成部分。随着电子技术的不断发展,对信号源的要求越来越高,传统的模拟信号源已经远远不能满足要求,而直接数字合成技术的出现,给现代电子技术带来了新的生机。文章在分析了DDS原理、CORDIC算法原理的基础上,提出了一种基于CORDIC算法的全流水线型DDS结构。使用verilogHDL编写了RTL级代码,并进行了综合、布局布线、后仿真验证等。工作频率为176.65MHz,输入频率控制字为48位,输出幅度为16位,频率分辨率为6.27×10-7Hz。     

一种基于0.35m工艺的高速混合旋转结构DDFS

设计实现了一种基于CORDIC算法和乘法器的直接数字频率合成器。采用混合旋转算法实现相位幅度转换,最高工作频率达到400MHz。在算法级,将DDFS中需要执行的π/4旋转操作分成两次旋转完成,第一次旋转采用CORDIC算法,第二次旋转采用乘法器来完成,同时采用流水线结构来实现累加器,提高整体性能。在晶体管级,采用DPL(Double-pass-transistor logic)逻辑实现基本电路单元,减少延迟提高速度。经0.35μmCMOS工艺流片,在400MHz的工作频率下,输出信号在80MHz处,SFDR为76.47dB,整个芯片面积为3.4mm×3.8mm。     

基于错误模式和模型检验的静态代码分析方法

为提高程序编写的正确率,减少软件开发和维护开销,提出一种基于错误模式和模型检验的静态代码分析方法。该方法将C语言程序常见的错误模式以CTL公式表示,形成可扩展的CTL公式库,生成待检测程序的控制流图(CFG)后,将CFG抽象并转化为等价的 Kripke结构,利用标号算法实现模型检验,由此验证程序的正确性。基于CoSy编译平台的实验结果表明,该方法能正确查找出程序中存在的错误模式,且具有良好的可扩展性。     

混合CORDIC在分裂基FFT中的应用

提出了一个基于CORDIC的分裂基FFT/IFFT处理器来计算2048/4096/8192点DFT。蝶形处理器的算术单元和旋转因子产生器采用CORDIC算法实现,所有的控制信号在片内产生。相比于存储旋转因子所需的ROM,CORDIC旋转因子所用ROM尺寸更小。与传统的FFT实现相比功耗减少了25%。     

研究所材料备件业务管理系统的开发与应用

现代化的计算机应用管理已经无处不在,它们被应用于处理大量的繁复工作,同时在实现科学化的办公和业务管理模式中起到了举足轻重的作用。本文主要从软件实现和软件应用的角度叙述了我所的材料备件管理从手工管理模式转向计算机管理模式的实现,同时对系统功能、实现策略、调用环境、及关键性问题的解决进行了阐述。     

一种可重定向的交叉调试器实现方法*

研究交叉调试工具支持后续功能可扩展的方法,设计并实现了一种可重定向的交叉调试器,使调试命令的处理过程全部运行于调试主机上,并通过调试编程接口实现对不同目标对象的挂接,以实现源码级的调试。使用该方案能够快速地实现针对不同体系架构的交叉调试器,具有开发周期短、性价比高、可移植性好的特点。     

材料备件业务管理系统的开发

计算机应用管理已经无处不在，它们被广泛应用于实现现代化办公或业务管理。本文主要阐述了本单位的材料备件计划采购及仓库管理计算化的实现过程。     

CoSy C语言编译器安全性研究

为验证CoSy编译器的安全性,并确定不安全因素大致出现的位置,提出一种通过控制流图的同构对比判定CoSy编译器是否安全的方法。该方法生成源程序的控制流图以及CoSy中级中间表示的控制流图后,生成由CoSy编译器产生的目标汇编码的控制流图,根据控制流图同构算法,判断控制流图是否同构,由此确定CoSy编译器的不安全因素发生在编译器的前端还是后端。实验结果表明,该方法能有效验证编译器的安全性。     

一款DSP指令集模拟器性能优化技术研究

文中研究和设计的指令集模拟器(Instruction Set Simulator,ISS)仿真了"中微一号"(ZW100)DSP指令系统和存储器系统行为。在现代嵌入式系统设计过程中,ISS能够在硬件原型构造出来之前,完成对处理器设计的正确性验证和性能分析工作;同时,其还可用于验证操作系统、编译器、汇编器、连接器等系统软件的正确性和各项性能指标。目前,国内外对ISS的研究主要集中在保证ISS灵活性的前提下,应用各种优化技术,提升它的指令仿真执行速度。文章在吸收借鉴目前国际上关于ISS性能优化技术的基础上,通过对仿真策略、仿真内存管理、二进制指令译码算法进一步优化,提高了ISS的整体性能。实验证明,文中提出的优化技术能够有效提升ISS的性能。     

基于LISA模型的汇编器研究与实现

介绍了一种基于LISA模型的汇编器设计方法,着重分析了LISA模型的建模方法,并针对一款DSP处理器的指令集进行建模,在LISA模型的基础上借助PD(Processor Designer)平台成功生成汇编器lasm,最后对所生成的汇编器进行了反汇编验证.