Learn More
This paper describes a validation methodology for microprocessors based on the generation of suitable test programs. To devise an effective set of test programs, a small number of programs are randomly created and then optimized by an evolutionary core using the feedback information from a logic simulator. The proposed methodology is almost fully automatic,(More)
The effects of permanent faults, arising along working life of digital electronic systems, may impact their reliability and performance. In-field test may help to detect these faults and to prevent serious effects in safety-critical applications. Distributed electronic systems introduce further complexity in this scenario, as the low observability and the(More)
In this paper, we present the VLSI realization of a configurable device called POEtic. This device encompasses a custom 32-bit RISC microprocessor and a custom FPGA with dynamic routing capabilities and also with dynamic and self-configuration abilities. The POEtic device can be used as a standalone general-purpose prototyping platform with dynamic(More)
The growing usage of electronic systems in safety-critical applications requires effective solutions to early identify possible faults affecting the hardware while it is in the operational phase. A possible approach leverages functional programs to be run by the CPU typically existing in such systems. These programs must exercise the different parts of the(More)
  • 1