SOAP: Structural Optimization of Arithmetic Expressions for High-Level Synthesis

Provided by: Imperial College London
Topic: Hardware
Format: PDF
In this paper the authors introduce SOAP, a new tool to automatically optimize the structure of arithmetic expressions for FPGA implementation as part of a high level synthesis flow, taking into account axiomatic rules derived from real arithmetic, such as distributivity, associativity and others. They explicitly target an optimized area/accuracy trade-off, allowing arithmetic expressions to be automatically re-written for this purpose. For the first time, they bring rigorous approaches from software static analysis, specifically formal semantics and abstract interpretation, to bear on source-to-source transformation for high-level synthesis.

Find By Topic