/fenice

Customizable fault-simulation and gate-level editing library for sequential circuits

Primary LanguageCBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Fenice

License: BSD Status: Discontinued Language: C Gate-level: edf Version: 3.65

A customizable fault-simulation and gate-level editing library for sequential circuits. Fenice implements a fault-parallel, event-driven algorithm vaguely based on PROOFS by Thomas M. Niermann, Wu-Tung Cheng & Janak H. Patel (DOI: 10.1109/43.124398), with some tricks copied from HOPE by Hyung Ki Lee and Dong Sam Ha (DOI: 10.1109/43.536711).

The first version dates back to 1994, the second, to 1996, while version 3 was coded in 2000. Fenice v3.65 includes limited support for transient faults and 3-values simulation. Molokh is a stand-alone fault simulator, in version 3 it became a mere example for using the library.

The code and all backups of the simulator I was working on were mysteriously deleted from Politecnico's server, and in 1996 I had to recover the spare fragments of the source from the different machines I worked on, hence the name fenice (phoenix) — the library arose back from the ashes of its predecessor. The name molokh refers to Moloch, the Canaanite god usually associated with human sacrifices.

Copyright © 2000 Giovanni Squillero. All rights reserved.
Redistribution and use in source and binary forms, with or without modification, are permitted under the terms of a BSD license.