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

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

一种基于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。     

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

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

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

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

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

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

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

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

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

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

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

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

电路中转库管理系统设计与实现

随着计算机应用技术的迅速发展，用现代化的计算机管理系统代替手工作坊式的管理模式已是势在必行，在这种需求的推动之下，我们运用软件工程开发的系统方法，建立开发了一套完整的针对本单位电路中转库管理的软件系统，本文介绍了该管理系统的开发背景，实施方案，系统功能及应用成效。     

基于仿真器的指令级调试系统的设计与实现

根据嵌入式软件开发的特点,结合GDB的工作原理,采用实现本地rsp_server的技术对基于仿真器的调试系统进行设计,减少了仿真器和指令级调试系统之间的耦合性,同时采用模块化设计的方案,使调试系统能够适应于多种仿真器,实现了调试系统的可扩展性和可移植性。此外,结合交叉调试原理,重点介绍了调试系统的设计方案和实现技术,针对ELF目标文件格式,详细分析了RSP协议,并对调试系统的实现进行了实验验证。