Circuit Transformations, Loop Fusion, and Inductive Proof
https://natetyoung.github.io/carry_save_fusion/Article
- Explores formal circuit transformations and loop fusion techniques
- Uses inductive proof methods to verify correctness of circuit optimizations
- Targets synchronous digital circuit design and compiler-style reasoning
Discussion
- Commenter noted extensive prior art dating to Mary Sheeran’s µFP from the early 1980s
- BlueSpec mentioned as a notable related system
| Type | Link |
| Added | Apr 17, 2026 |
| Modified | Apr 17, 2026 |