Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
139 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

There and Back Again: A Netlist's Tale with Much Egraphin' (2404.00786v1)

Published 31 Mar 2024 in cs.AR and cs.PL

Abstract: EDA toolchains are notoriously unpredictable, incomplete, and error-prone; the generally-accepted remedy has been to re-imagine EDA tasks as compilation problems. However, any compiler framework we apply must be prepared to handle the wide range of EDA tasks, including not only compilation tasks like technology mapping and optimization (the "there"} in our title), but also decompilation tasks like loop rerolling (the "back again"). In this paper, we advocate for equality saturation -- a term rewriting framework -- as the framework of choice when building hardware toolchains. Through a series of case studies, we show how the needs of EDA tasks line up conspicuously well with the features equality saturation provides.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (30)
  1. CIRCT Authors. 2024. CIRCT. https://circt.llvm.org/. Accessed 2024-03-06.
  2. babble: Learning Better Abstractions with E-Graphs and Anti-unification. Proc. ACM Program. Lang. 7, POPL, Article 14 (jan 2023), 29 pages. https://doi.org/10.1145/3571207
  3. Automatic Datapath Optimization using E-Graphs. In 2022 IEEE 29th Symposium on Computer Arithmetic (ARITH). 43–50. https://doi.org/10.1109/ARITH54963.2022.00016
  4. Yann Herklotz and John Wickerson. 2020. Finding and understanding bugs in FPGA synthesis tools. In Proceedings of the 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. 277–287.
  5. WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits. In 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD). IEEE, 1–9.
  6. Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface. ACM Trans. Des. Autom. Electron. Syst. 29, 2, Article 35 (feb 2024), 25 pages. https://doi.org/10.1145/3639051
  7. Optimizing Stateful Dataflow with Local Rewrites. arXiv:2306.10585 [cs.PL]
  8. ACC Saturator: Automatic Kernel Optimization for Directive-Based GPU Code. arXiv preprint arXiv:2306.13002 (2023).
  9. Synthesizing structured CAD models with equality saturation and inverse transformations. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (London, UK) (PLDI 2020). Association for Computing Machinery, New York, NY, USA, 31–44. https://doi.org/10.1145/3385412.3386012
  10. Charles Gregory Nelson. 1980. Techniques for program verification. Ph. D. Dissertation. Stanford, CA, USA. AAI8011683.
  11. Robert Nieuwenhuis and Albert Oliveras. 2005. Proof-producing congruence closure. In Proceedings of the 16th International Conference on Term Rewriting and Applications (Nara, Japan) (RTA’05). Springer-Verlag, Berlin, Heidelberg, 453–468. https://doi.org/10.1007/978-3-540-32033-3_33
  12. Predictable accelerator design with time-sensitive affine types. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. 393–407.
  13. A compiler infrastructure for accelerator generators. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. 804–817.
  14. ESFO: Equality Saturation for FIRRTL Optimization. In Proceedings of the Great Lakes Symposium on VLSI 2023. 581–586.
  15. LLHD: A multi-level intermediate representation for hardware description languages. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. 258–271.
  16. Loop Rerolling for Hardware Decompilation. Proc. ACM Program. Lang. 7, PLDI, Article 123 (jun 2023), 23 pages. https://doi.org/10.1145/3591237
  17. FPGA Technology Mapping Using Sketch-Guided Program Synthesis. arXiv preprint arXiv:2401.16526 (2024).
  18. Pure tensor program rewriting via access patterns (representation pearl). In Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming (Virtual, Canada) (MAPS 2021). Association for Computing Machinery, New York, NY, USA, 21–31. https://doi.org/10.1145/3460945.3464953
  19. Equality saturation: a new approach to optimization. SIGPLAN Not. 44, 1 (jan 2009), 264–276. https://doi.org/10.1145/1594834.1480915
  20. Samuel Thomas and James Bornholt. 2024. Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors. (2024).
  21. Impress: Large integer multiplication expression rewriting for fpga hls. In 2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM). IEEE, 1–10.
  22. Equality Saturation for Datapath Synthesis: A Pathway to Pareto Optimality. In 2023 60th ACM/IEEE Design Automation Conference (DAC). 1–2. https://doi.org/10.1109/DAC56929.2023.10247948
  23. Vectorization for digital signal processors via equality saturation. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Virtual, USA) (ASPLOS ’21). Association for Computing Machinery, New York, NY, USA, 874–886. https://doi.org/10.1145/3445814.3446707
  24. SPORES: sum-product optimization via relational equality saturation for large scale linear algebra. Proc. VLDB Endow. 13, 12 (jul 2020), 1919–1932. https://doi.org/10.14778/3407790.3407799
  25. Infinity stream: Portable and programmer-friendly in-/near-memory fusion. In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3. 359–375.
  26. Multiplier Optimization via E-Graph Rewriting. arXiv preprint arXiv:2312.06004 (2023).
  27. egg: Fast and extensible equality saturation. Proc. ACM Program. Lang. 5, POPL, Article 23 (jan 2021), 29 pages. https://doi.org/10.1145/3434304
  28. Rewriting History: Repurposing Domain-Specific CGRAs. arXiv preprint arXiv:2309.09112 (2023).
  29. Better Together: Unifying Datalog and Equality Saturation. Proc. ACM Program. Lang. 7, PLDI, Article 125 (jun 2023), 25 pages. https://doi.org/10.1145/3591239
  30. Automatic End-to-End Joint Optimization for Kernel Compilation on DSPs. In 2023 60th ACM/IEEE Design Automation Conference (DAC). IEEE, 1–6.

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now
Reddit Logo Streamline Icon: https://streamlinehq.com

Reddit

  1. There and Back Again: A Netlist's Tale with Much Egraphin' (3 points, 1 comment)