VHDL RT级综合中赋值语句的优化算法  

Algorithms of Assignment Statements Optimization in VHDL RTL Inference

作　　者：曹炜[1] 周海峰[1] 林争辉[1] 

机构地区：[1]上海交通大学大规模集成电路研究所,上海200030

出　　处：《上海交通大学学报》2001年第2期219-222,共4页Journal of Shanghai Jiaotong University

基　　金：美国国家科学基金会资助!项目 (96 0 2 485 )

摘　　要：在基于硬件描述语言 VHDL的电路系统综合中 ,系统的实际功能是由各种形式的赋值语句来描述的 ,而赋值语句的核心是各种形式的表达式 .当设计的规模变大后 ,去除大量冗余的赋值语句和公共子表达式 (含运算的重定序问题 )就成为关系到所设计系统性能的两类重要的优化问题 .对各种可能出现的赋值语句组合情况进行研究后 ,得到一系列的处理规则 ,进而提出一种基于规则的算法 ,用来消除赋值语句冗余 ;对于第二类问题的两个子问题 ,通过一种基于代数中基本定律的算法同时解决之 .实验结果表明 ,解决第一类问题的算法在处理赋值语句冗余和二义性方面是有效的 ,解决第二类问题的算法比传统的 DAG算法更具普适性 .Assignment statements are critical parts of VHDL description files written by chip design engineers. However, as designs augment relevant hardware description files will embrace large amounts of redundant assignment statements that will lead to low efficient and different synthesis results. In addition, a great number of common sub-expressions arise in hardware description files, and the optimization of common sub-expressions and reordering of operators are two important aspects in VHDL synthesis. In this paper, effective algorithms were presented to solve these two problems. The analysis and experimental results show that the second category algorithm can deal with more problems than the traditional DAG.

关 键 词：硬件描述语言 电路综合 冗余 歧义语句 公共子表达式优化 运算符重定序 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]