本发明公开一种调度驱动的高层次综合数组划分方法，包括以下步骤：对算法设计中的数组创建关联的访问指令集合，并分析各访问指令的地址计算表达式；基于所述算法设计的控制数据流图，按指令拓扑顺序及电路性能需求执行指令调度，其中，对于数组访问指令，...

本发明公开一种低成本抗SEU(单粒子翻转)高可靠电路设计自动化方法，包括如下步骤：通过算法级综合EDA工具将高级语言描述的电路设计程序编译为中间数据流图；在所述CDFG的节点中，针对逻辑节点和数据节点分别采用空间冗余和时间冗余结合的检测...