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
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;
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
DOI :
10.1109/SIES.2010.5551400