该文深入研究RTL综合中若干重要技术问题,重点研究如何实现RTL综合中的格式判别以及如何实现RTL综合中的组合逻辑综合与有限状态自动机综合,提出一系列有效的解决策略、算法,设计并实现了一个较完善的RTL综合子系统.该系统由两人分工合作完成,该文负责数据格式的建立、格式判别、组合逻辑综合、软件重用技术的研究等,同时合作完成系统的总体设计及测试.首先,提出对RTL行为描述进行格式判别的思想并实现了基于以赋值语句为核心的中间数据格式、拆分成RT单元的格式判别算法.其次,该文深入研究了RTL综合中组合逻辑综合,在此基础上提出按类区分,分别实现的策略,该策略将组合逻辑模块划分为两大类共六种情况,然后根据每种情况采用不同的算法来实现组合逻辑综合.再次,该文认真研究了控制器综合所使用的算法和软件重用技术,提出根据软件重用原则,采用在实现层通过设计和代码提取的软件重用方法,重用控制器综合算法实现RTL综合中的有限状态自动机综合.在上述研究工作的基础上,与袁媛同学一起实现了一个较为完善的RTL综合子系统,对RTL综合后的测试实例经过充分的VHDL模拟、功能模拟、定时模拟,证明该文所提出的模型、算法和策略正确有效,达到了设计目标.