The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Fault injection into VHDL models: the MEFISTO tool

The work

AuthorsÉric Jenn; Jean Arlat; Marcus Rimén; Joakim Ohlsson; Johan Karlsson
Editors
Typemisc
Year1994
Also known asjenn2002fault
Citekeyjenn1994fault

Where it appeared

Pages66--75

From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.

Abstract

This paper focuses on the integration of the fault injection methodology within the design process of fault-tolerant systems. Due to its wide spectrum of application and hierarchical features, VHDL has been selected as the simulation language to support such an integration. Suitable techniques for injecting faults into VHDL models are identified and depicted. Then, the main features of the MEFISTO environment aimed at supporting these techniques are described. Finally, some preliminary results obtained with MEFISTO are presented and analyzed.>

How it got here

How it got hereagent via openalex
Added2026-10-26 05:42 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{jenn1994fault,
  title        = {Fault injection into VHDL models: the MEFISTO tool},
  author       = {Éric Jenn and Jean Arlat and Marcus Rimén and Joakim Ohlsson and Johan Karlsson},
  year         = {1994},
  pages        = {66--75},
  doi          = {10.1109/ftcs.1994.315656},
}

This record lives at https://refs.drheap.org/jenn1994fault/ and will keep doing so. It used to be called jenn2002fault, and those addresses still resolve to this one.