本發明公開一種調度驅動的高層次綜合數組劃分方法，包括以下步驟：對算法設計中的數組創建關聯的訪問指令集合，并分析各訪問指令的地址計算表達式；基于所述算法設計的控制數據流圖，按指令拓撲順序及電路性能需求執行指令調度，其中，對于數組訪問指令，...

本發明公開一種低成本抗SEU(單粒子翻轉)高可靠電路設計自動化方法，包括如下步驟：通過算法級綜合EDA工具將高級語言描述的電路設計程序編譯為中間數據流圖；在所述CDFG的節點中，針對邏輯節點和數據節點分別采用空間冗余和時間冗余結合的檢測...