• DocumentCode
    649360
  • Title

    A high-level synthesis and verification tool for application specific kth Root Processing Engine

  • Author

    Aslan, S. ; Salamy, Hassan ; Saniie, Jafar

  • Author_Institution
    Ingram Sch. of Eng., Texas State Univ., San Marcos, TX, USA
  • fYear
    2013
  • fDate
    4-7 Aug. 2013
  • Firstpage
    1051
  • Lastpage
    1054
  • Abstract
    Implementation of division, square root, and cube root and their inverses at the hardware level creates a number of bottlenecks in terms of accuracy, speed and design verification in particular. There are many DSP and communication systems in which these arithmetic operations are used. Therefore, a Newton-Raphson algorithm based, efficient, accurate and reconfigurable kth root design and verification system is introduced. The design and verification system generates Verilog HDL design code and required control signals for application-specific operations. The design can be used for multi-purpose arithmetic operations based on an assigned k value, such as division for k=1, square root for k=2, cube root for k=3 and so on. The generated hardware can be used as a standalone design or can be implemented into a larger system by using a hand shake signal, which could make this design and verification tool suitable for new or ongoing projects. This tool generates Verilog RTL code and its testbench that can be implemented in FPGAs and VLSI systems. The proposed design tool can increase productivity by reducing design and verification time. Several case studies have been implemented on Xilinx Virtex-5 FPGAs. The designed system uses MATLAB-based verification and reporting for fast and accurate design evaluation.
  • Keywords
    Newton-Raphson method; VLSI; field programmable gate arrays; formal verification; hardware description languages; high level synthesis; DSP; FPGA system; MATLAB-based verification; Newton-Raphson algorithm; VLSI system; Verilog HDL design code; Verilog RTL code; Xilinx Virtex-5 FPGA; application specific kth root processing engine; application specific operation; communication system; hand shake signal; high level synthesis; multipurpose arithmetic operation; verification tool; FPGA; Newton-Raphson Method; VLSI; division; inverse kth root; kth root; square-root;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Circuits and Systems (MWSCAS), 2013 IEEE 56th International Midwest Symposium on
  • Conference_Location
    Columbus, OH
  • ISSN
    1548-3746
  • Type

    conf

  • DOI
    10.1109/MWSCAS.2013.6674833
  • Filename
    6674833