Comparison of high level design methodologies for algorithmic IPs : Bluespec and C-based synthesis

High level hardware design of Digital Signal Processing algorithms is an important design problem for decreasing design time and allowing more algorithmic exploration. Bluespec is a Hardware Design Language (HDL) that allows designers to express intended microarchitecture through high-level constructs. C-based design tools directly generate hardware from algorithms expressed in C/C++. This research compares these two design methodologies in developing hardware for Reed-Solomon decoding algorithm under area and performance metrics. This work illustrates that C-based design flow may be effective in early stages of the design development for fast prototyping. However, the Bluespec design flow produces hardware that is more customized for performance and resource constraints. This is because in later stages, designers need to have close control over the hardware structure generated that is a part of HDLs like Bluespec, but is difficult to express under the constraints of sequential C semantics. Thesis Supervisor: Arvind Title: Professor

[1]  T. Moon Error Correction Coding: Mathematical Methods and Algorithms , 2005 .

[2]  W. Najjar,et al.  A Code Refinement Methodology for Performance-Improved Synthesis from C , 2006, 2006 IEEE/ACM International Conference on Computer Aided Design.

[3]  Joseph R. Cavallaro,et al.  Rapid Industrial Prototyping and SoC Design of 3G/4G Wireless Systems Using an HLS Methodology , 2006, EURASIP J. Embed. Syst..

[4]  Stephen A. Edwards,et al.  The Challenges of Synthesizing Hardware from C-Like Languages , 2006, IEEE Design & Test of Computers.

[5]  Stephen B. Wicker,et al.  Reed-Solomon Codes and Their Applications , 1999 .

[6]  Nirav Dave,et al.  Designing a reorder buffer in Bluespec , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..

[7]  Arvind,et al.  802.11a transmitter: a case study in microarchitectural exploration , 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..

[8]  Arvind,et al.  From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols , 2007, 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).

[9]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[10]  Yuanbin Guo,et al.  Rapid prototyping and VLSI exploration for 3g/4G MIMO wireless systems using integrated catapult-c methodology , 2006, IEEE Wireless Communications and Networking Conference, 2006. WCNC 2006..

[11]  James C. Hoe,et al.  Synthesis of operation-centric hardware descriptions , 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).

[12]  Arvind,et al.  Automatic synthesis of cache-coherence protocol processors using Bluespec , 2005, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..