回路変換、ループ融合、帰納的証明
https://natetyoung.github.io/carry_save_fusion/記事
- 形式的な回路変換とループ融合技術を探求
- 帰納的証明を用いて回路最適化の正しさを検証
- 同期デジタル回路設計とコンパイラ的な推論を対象
ディスカッション
- コメント欄では、1980年代初頭のMary SheeranによるµFP（回路記述の関数型言語）まで遡る先行研究が多数あると指摘
- BlueSpec（HaskellベースのHDL）も関連システムとして言及
原文（英語）: Circuit Transformations, Loop Fusion, and Inductive Proof
| Type | Link |
| Added | Apr 17, 2026 |
| Modified | Apr 17, 2026 |