FPGA最小延时工艺映射理论及算法

本文以动态规划和网络流理论为基础，提出一种新的求解基于ＬＵＴ结构的ＦＰＧＡ工艺映射算法，并证明了它能获得最小延时目标电路。

一种基于动态可测性测度的快速识别逻辑冗余故障的方法——DRFM

在测试生成之前,借助可测性分析方法,以线性时空开销识别数字电路的冗余故障是个至今尚未解决的问题.本文在文献[8,9]的四值动态代价分析的基础上,首次采用动态相关信号模型,提出了动态约束四值测度方法DRFM.DRFM能精确描述实用电路中常见的冗余故障,它识别一个冗余故障所需的时间为电路门数的线性增长函数.

面向MPP Fortran的自动数据分布

自动数据分布是面向大规模并行处理ＭＰＰ（ｍａｓｓｉｖｅｌｙｐａｒａｌｅｌｐｒｏｃｅｓｓｉｎｇ）系统程序自动并行化的一项关键技术．数据分布方式直接影响着应用程序在ＭＰＰ系统上的并行执行性能．本文以ＭＰＰＦｏｒｔｒａｎ为例，详细探讨了自动数据分布的有关技术，如对准分析、分布方式的产生、静态性能评估和数据重新分布等，并提出了相应的算法．这些算法将在作者研制的面向ＭＰＰＦｏｒｔｒａｎ的程序自动并行化工具中实现．

仿真机的发展方向与我国仿真技术的发展机遇和策略

仿真技术飞速发展的技术源动力是仿真计算机技术的飞速发展,目前仿真机的许多关键技术处于重大转折阶段,这些新的关键技术将会构成功能更强大的新一代仿真机,去支撑新一代仿真系统。本文提出了广域超集成仿真系统的思想,认为将成为新一代仿真系统,这是我国仿真技术发展难得的机遇,为了抓住这次难得的机遇,我国目前仿真技术的发展策略应当以加速研制能支撑广域超集成仿真系统的新一代仿真机为核心,以构成全国性超集成仿真系统为目标的系统化发展策略。文章还讨论了新一代仿真机研制的指导思想和要研究的关键技术等技术性发展策略。

NOS 系统控制点机制(SCPF)—NOS环境的系统开发工具

在基于目标制导设计方法所设计的系统环境中进行系统级开发是一项难度较大的工作。本文根据我们已开发的前端站软件[1]为背景,详细描叙NOS 系统SCPF 的实现和使用。