您的位置： 专家智库 > >

胡振江

作品数：8 被引量：0H指数：0
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
发文基金：国家自然科学基金国家教育部博士点基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 6篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 4篇自动化与计算...
  • 3篇电子电信

主题

  • 4篇阵列
  • 4篇脉动阵
  • 4篇脉动阵列
  • 3篇代数
  • 3篇代数变换
  • 3篇电路
  • 2篇数字电路
  • 1篇数字系统
  • 1篇集成电路
  • 1篇函数式语言
  • 1篇VLSI
  • 1篇FP
  • 1篇并行处理

机构

  • 8篇上海交通大学

作者

  • 8篇胡振江
  • 7篇孙永强
  • 3篇袁昕
  • 2篇夏心杰

传媒

  • 4篇软件学报
  • 1篇计算机学报
  • 1篇上海交通大学...
  • 1篇第三届全国青...

年份

  • 1篇1994
  • 3篇1992
  • 2篇1991
  • 2篇1990
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
基于代数变换的脉动阵列的综合
胡振江
函数式语言对数字电路的描述,综合及模拟
1990年
本文综合了函数式语言的特点,形成了适合于描写数字电路的FP-1语言,研究了这种语言描写数字电路的特点,并给出了从功能行为级的FP-1描述转化为数字电路结构的实现算法,该系统已在MACRO-VAXII上用C语言编写通过,并能在该系统上对数字电路进行模拟验证。
胡振江孙永强夏心杰
关键词：函数式语言数字电路
脉动阵列的自动综合—FP方法
1992年
本文将FP代数,重写理论与脉动阵列(Systolic Arrays)的设计结合起来,研究了脉动阵列的形式化设计和自动综合的问题。文章中提出的FP/B并发计算型,不但可表示某一类FP/B递归方程的展开式解,而且可以用来等价地对算法进行重新描述,从而开发了计算的并行性和流水线性,获得一个规整高效的计算结构。文章形式地用FP/B定义了脉动式,并根据FP/B代数,建立了具有终止性和保持正确性的脉动阵列重写系统,它能将用户FP/B程序自动转换为等价的脉动式,再根据FP/B并发计算型及一些函数的几何语义可较为直接地获得一个脉动阵列的硬件描述。文末给出一个例子加以说明。
夏心杰孙永强胡振江
关键词：脉动阵列
并行算法的FP描述及其脉动化的判定
1992年
本文通过引入流及流上的递归方程,增强了FP表达并行算法的能力,有效地克服了用FP描述循环数据依赖及状态记忆的困难,文中给出了并行算法的FP描述及其可脉动化的判定定理。同时说明,许多在图上研究的脉动方法可以方便地应用到用FP描述脉动化的研究中去。
胡振江孙永强
基于代数变换的脉动阵列的综合
胡振江孙永强袁昕
关键词：并行处理
FP──VLSI自动综合系统
1994年
ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．该系统支持形式化的ＶＬＳＩ设计方法，能保证设计结果的正确性．
孙永强胡振江袁昕
关键词：集成电路
基于代数变换的脉动阵列的综合
1992年
本文给出一个基于代数变换的脉动阵列的自动综合系统,它能自动地将用FP 描述的并行算法程序变换成脉动算法的形式描述。这与以往的人为地借助于FP代数进行脉动阵列设计的ad hoc 的讨论不同.为了便于描写并行算法,首先扩充了原来的FP,引入了流递归方程和若干高阶算子.同时为了便于全自动的综合,对FP 的递归方程进行了限制,提出了结构递归方程.在此基础上,还给出了一个系统化的且可构造的脉动阵列自动综合的算法,包括递归方程的展开,规整结构的映射和同步机制的实现.
孙永强胡振江袁昕
关键词：代数变换脉动阵列
通过程序变换对数字系统进行优化
1990年
在文章[10]中,我们详细地讨论了如何用函数式硬件描述语言对数字电路进行描述、综合和模拟验证的方法。本文将在此基础上,进一步研究函数或硬件描述语言的代数性质并通过程序变换对所描述的电路进行综合和优化,从而设计出正确的优化逻辑结构,在这种逻辑结构中去除了冗余,最大限度地重复使用各个子部件。文章中给出了变换规则和变换的算法及若干示例。
胡振江孙永强
关键词：数字系统数字电路
全选 清除 导出
共1页<1>
聚类工具0