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

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