通过程序变换对数字系统进行优化
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


OPTIMIZING A DIGITAL SYSTEM BY PROGRAM TRANSFORMATION
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    在文章[10]中,我们详细地讨论了如何用函数式硬件描述语言对数字电路进行描述、综合和模拟验证的方法。本文将在此基础上,进一步研究函数或硬件描述语言的代数性质并通过程序变换对所描述的电路进行综合和优化,从而设计出正确的优化逻辑结构,在这种逻辑结构中去除了冗余,最大限度地重复使用各个子部件。文章中给出了变换规则和变换的算法及若干示例。

    Abstract:

    In paper [10], we have given a detailed discussion on how to describe, synthesize and simulate a digital system using functional hardware description language. In this paper a further study of the algebraic properties of the language will be presented and the digital system will be optimized by program transformation. In this way, we can get a correct and optimized logic structure which has no redundancy and reuses each common component to the great extent. Some rules and algorithms of transformation and some examples are given to illustrate this new method.

    参考文献
    相似文献
    引证文献
引用本文

胡振江,孙永强.通过程序变换对数字系统进行优化.软件学报,1990,1(2):1-11

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1989-06-17
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号