Functioning Hardware from Functional Programs

To provide high performance at practical power levels, tomorrow’s chips will have to consist primarily of application-specic logic that is only powered on when needed.is paper discusses synthesizing such logic from the functional language Haskell.e pro-posed approach, which consists of rewriting steps that ultimately dismantle the source program into a simple dialect that enables a syntax-directed translation to hardware, enables aggressive parallelization and the synthesis of application-specic distributed memory systems. Transformations include scheduling arithmetic operations onto spe-cic data paths, replacing recursionwith iteration, and improving data locality by inlining recursive types. A compiler based on these principles is under development