| 摘要: |
| 在文章[10]中,我们详细地讨论了如何用函数式硬件描述语言对数字电路进行描述、综合和模拟验证的方法。本文将在此基础上,进一步研究函数或硬件描述语言的代数性质并通过程序变换对所描述的电路进行综合和优化,从而设计出正确的优化逻辑结构,在这种逻辑结构中去除了冗余,最大限度地重复使用各个子部件。文章中给出了变换规则和变换的算法及若干示例。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| OPTIMIZING A DIGITAL SYSTEM BY PROGRAM TRANSFORMATION |
|
Hu Zhenjiang,Sun Yongqiang
|
| 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. |
| Key words: |
