基于时序重构的时序调整软件HTC的设计与实现

DESIGN AND IMPLEMENTATION OF THE SOFTWARE HTC FOR TIMING CORRECTION BASED ON RETIMING

高层次综合是近年来电子设计自动化（ＥＤＡ）领域中快速发展的一种技术，时序重构是高层次综合后端一种重要优化方法．文中介绍了基于时序重构的时序调整软件ＨＴＣ的设计与实现，提出了时序调整软件ＨＴＣ中的主要优化算法，此算法与以前严格优化的计算时间复杂性较高的时序重构算法比较，是一种计算时间复杂性为线性的近似优化算法．最后给出了时序调整软件ＨＴＣ的电路实例测试结果，并与商用Ｓｙｎｏｐｓｙｓ公司的ＢＲＴ（ｂｅｈａｖｉｏｒａｌｒｅｔｉｍｉｎｇ）工具进行了比较，结果表明时序调整软件ＨＴＣ与上述ＢＲＴ工具的优化结果相同．

High level synthesis and RTL synthesis are rapidly developed technologies in electronic design automation (EDA), and retiming is an important method for optimizing design in the back of RTL synthesis. Design and implementation of the software HTC for timing correction based on retiming are introduced in the paper , and some novel algorithms are proposed. These algorithms are approximately optimal methods based on retiming and linear computing complexity, compared with the original retiming algorithm which is optimal and of high computing complexity. The software HTC is tested with a lot of examples and compared with BRT(behavioral retiming) in behavioral compiler of Synopsys, and it is shown that the two tools can achieve the same optimal goal.