基于布尔满足的考虑资源共享高层次综合调度方法

    公开(公告)号:CN116151175A

    公开(公告)日:2023-05-23

    申请号:CN202111387857.X

    申请日:2021-11-22

    Applicant: 复旦大学

    Abstract: 本发明属于集成电路设计高层次综合技术领域,具体涉及一种基于布尔满足的考虑资源共享高层次综合调度方法。该方法首先根据行为级描述编译生成的数据流图以及高层次综合的配置,构建对应的有向无环图以及基本约束边;然后根据具有共享约束的资源数量,通过迭代调用布尔满足求解器和独立调度程序,寻找出最优的资源共享分组和资源示例绑定结果;最后将寻找到的最优资源共享约束加入到有向无环图中,执行最终的调度,将计算得到的调度结果输出,供高层次综合工具的后续链路使用来生成对应的寄存器传输级电路。应用本发明的方法,可以对部分具有更高电路性能要求的行为级设计,提供具有更高最高可用时钟频率、和更少资源利用率的寄存器传输级电路实现方案。

Patent Agency Ranking