Name
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. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1016/j.micpro.2012.02.005 | Microprocessors and Microsystems - Embedded Hardware Design |
Keywords | Field | DocType |
industrial embedded system,verification core,logical event,core design,long-term on-chip verification,commercial on-chip solution,specific system,verification solution,long-term verification,real industrial synchronization platform,off-chip logic,dedicated logic,fpga | Functional verification,Computer science,Intelligent verification,Physical verification,Parallel computing,PicoBlaze,Verification,Real-time computing,Runtime verification,High-level verification,Software verification,Embedded system | Journal |
Volume | Issue | ISSN |
36 | 5 | 0141-9331 |
Citations | PageRank | References |
1 | 0.43 | 5 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| J. Viejo | 1 | 3 | 2.65 |
| Jose Ignacio Villar | 2 | 1 | 0.77 |
| J. Juan | 3 | 1 | 0.43 |
| Alejandro Millán | 4 | 10 | 5.77 |
| E. Ostua | 5 | 4 | 1.58 |
| J. Quiros | 6 | 1 | 0.43 |