• DocumentCode
    1614189
  • Title

    Design and implementation of a suitable core for on-chip long-term verification

  • Author

    Viejo, J. ; Villar, J.I. ; Juan, J. ; Millan, A. ; Bellido, M.J. ; Ostua, E.

  • Author_Institution
    Dept. de Tecnol. Electron., Univ. de Sevilla, Sevilla, Spain
  • fYear
    2010
  • Firstpage
    234
  • Lastpage
    237
  • Abstract
    Traditional on-chip and off-chip logic analyzers present important shortcomings when used for the long-term verification of industrial embedded systems, forcing the designer to implement ad-hoc verification solutions. This contribution presents a suitable solution for long-term verification of FPGA-based designs consisting on a verification core that uses the Picoblaze microcontroller, dedicated logic and a serial port communication in order to monitor the internal signals of the system in a continuous way. The core design focuses on low resource requirements and reusability and has been successfully applied to the verification of a real industrial synchronization platform showing remarkable advantages over commercial on-chip solutions like Xilinx´s ChipScope Pro.
  • Keywords
    embedded systems; field programmable gate arrays; formal verification; logic analysers; system-on-chip; FPGA based design; Picoblaze microcontroller; ad hoc verification solutions; commercial on-chip solutions; dedicated logic; industrial embedded system; industrial synchronization platform; long term verification; off-chip logic analyzers; on-chip long-term verification; serial port communication; Debugging; Field programmable gate arrays; Hardware; Servers; Synchronization; System-on-a-chip; Table lookup;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial Embedded Systems (SIES), 2010 International Symposium on
  • Conference_Location
    Trento
  • Print_ISBN
    978-1-4244-5839-4
  • Electronic_ISBN
    978-1-4244-5840-0
  • Type

    conf

  • DOI
    10.1109/SIES.2010.5551400
  • Filename
    5551400