Bridging the gap between compilation and synthesis in the DEFACTO system

作者: Pedro Diniz , Mary Hall , Joonseok Park , Byoungro So , Heidi Ziegler

DOI: 10.1007/3-540-35767-X_4

关键词: Auxiliary memoryBridging (programming)High-level programming languageBehavioral synthesisCompilerParallel computingCompiler correctnessField-programmable gate arrayComputer scienceVHDL

摘要: The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy is system that maps computations, expressed in high-level languages such as C, directly onto FPGA-based computing platforms. Major challenges are the inherent flexibility of FPGA hardware, capacity and timing constraints target devices, accompanying speed-area trade-offs. To address these, combines parallelizing compiler technology with behavioral VHDL synthesis tools, obtaining complementary advantages compiler's analyses transformations synthesis' binding, allocation scheduling low-level hardware resources. guide search good solution, we introduce notion balance between rates at which data fetched from memory accessed by computation, combined estimation synthesis. Since designs offer potential for optimizing memory-related operations, have also incorporated ability to exploit parallel accesses customize access protocols into analysis.

参考文章(18)
Markus Weinhardt, Wayne Luk, Memory Access Optimization and RAM Inference for Pipeline Vectorization field programmable logic and applications. pp. 61- 70 ,(1999) , 10.1007/978-3-540-48302-1_7
R. Barua, W. Lee, S. Amarasinghe, A. Agarwal, Memory bank disambiguation using modulo unrolling for Raw machines ieee international conference on high performance computing data and analytics. pp. 212- 220 ,(1998) , 10.1109/HIPC.1998.737991
M.B. Gokhale, J.M. Stone, NAPA C: compiling for a hybrid RISC/FPGA architecture field-programmable custom computing machines. pp. 126- 135 ,(1998) , 10.1109/FPGA.1998.707890
P. Diniz, A. Venkatachar, A Behavioral Synthesis Estimation Interface for Configurable Computing field-programmable custom computing machines. pp. 253- 254 ,(2001) , 10.1109/FCCM.2001.1
Siddhartha Chatterjee, Compiling nested data-parallel programs for shared-memory multiprocessors ACM Transactions on Programming Languages and Systems. ,vol. 15, pp. 400- 462 ,(1993) , 10.1145/169683.174152
Jennifer M. Anderson, Saman P. Amarasinghe, Monica S. Lam, Data and computation transformations for multiprocessors acm sigplan symposium on principles and practice of parallel programming. ,vol. 30, pp. 166- 178 ,(1995) , 10.1145/209936.209954
Michael Joseph Wolfe, Carter Shanklin, Leda Ortega, High-Performance Compilers for Parallel Computing ,(1995)
Joonseok Park, Pedro C. Diniz, Synthesis of pipelined memory access controllers for streamed data applications on FPGA-based computing engines international symposium on systems synthesis. pp. 221- 226 ,(2001) , 10.1145/500001.500054
P. Diniz, J. Park, Automatic synthesis of data storage and control structures for FPGA-based computing engines field programmable custom computing machines. pp. 91- 100 ,(2000) , 10.1109/FPGA.2000.903396