Long-term on-chip verification of systems with logical events scattered in time

Authors:
J. Viejo;J. I. Villar;J. Juan;A. Millan;E. Ostua;J. Quiros
Affiliations:
University of Seville, Electronic Technology Department, Seville, Spain;University of Seville, Electronic Technology Department, Seville, Spain;University of Seville, Electronic Technology Department, Seville, Spain;University of Seville, Electronic Technology Department, Seville, Spain;University of Seville, Electronic Technology Department, Seville, Spain;University of Seville, Electronic Technology Department, Seville, Spain
Venue:
Microprocessors & Microsystems
Year:
2012

Citing 6
Cited 0

Unifying simulation and execution in a design environment for FPGA systems

IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special issue on low power electronics and design
Using Design-Level Scan to Improve FPGA Design Observability and Controllability for Functional Verification

FPL '01 Proceedings of the 11th International Conference on Field-Programmable Logic and Applications
Logical hardware debuggers for fpga-based systems

Logical hardware debuggers for fpga-based systems
Hardware debugging method based on signal transitions and transactions

ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
An Integrated Functional Verification Tool for FPGA Systems

ICICIC '07 Proceedings of the Second International Conference on Innovative Computing, Informatio and Control
Integrating Logic Analyzer Functionality into VHDL Designs

RECONFIG '08 Proceedings of the 2008 International Conference on Reconfigurable Computing and FPGAs

Quantified Score

Hi-index	0.00

Visualization

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 paper introduces a suitable solution for long-term verification of FPGA-based designs consisting of 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 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. Moreover, in order to improve the reusability of this core a software tool has been developed to automatically include the verification core in any specific system.