SRAM-based FPGAs are more and more relevant in a growing number of applications,
ranging from the automotive to the aerospace ones. Designers of safety-critical applications …

In this paper a simulator of soft errors (SEUs) in the configuration memory of SRAM-based
FPGAs is presented. The simulator, named ASSESS, adopts fault models for SEUs affecting …

Testing of FPGAs is gaining more and more interest because of the application of FPGA
devices in many safety-critical systems. We propose GABES, a tool for the generation of test …

Formal verification may play a central role in the development of safe controllers, such as
those found in electric drives or (semi-) autonomous vehicles, whose complexity arises from …

Testing of FPGAs is gaining more and more interest because of the employment of FPGA
devices in many safety-critical application fields. We propose a prototype of a tool for the …

In the Ph. D. thesis1 from which this summary has been extracted the author proposed a
framework of methodologies for the analysis and test of the effects of Single Event Upsets …

When designing and analysing autonomous systems and their environment it is necessary
to consider uncertainty and multiple potential states (of the system and its environment). In …

SRAM-based FPGAs are increasingly relevant in a growing number of safety-critical
application fields, ranging from automotive to aerospace. These application fields are …

The advantage of co-simulation with respect to traditional single-paradigm simulation lies
mainly in the modeling flexibility it affords in composing large models out of submodels …

The digital device known as Field Programmable Gate Array (FPGA) combines a reasonable
computational power together with an ability to be reprogrammed. Its functionality (whole or …