https://github.com/cad-polito-it/fenice
Customizable fault-simulation and gate-level editing library for sequential circuits
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
○.zenodo.json file
-
✓DOI references
Found 8 DOI reference(s) in README -
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (6.0%) to scientific vocabulary
Keywords
Repository
Customizable fault-simulation and gate-level editing library for sequential circuits
Basic Info
Statistics
- Stars: 6
- Watchers: 4
- Forks: 1
- Open Issues: 0
- Releases: 0
Topics
Metadata Files
README.md
Fenice
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.
Owner
- Name: CAD & Reliability Group
- Login: cad-polito-it
- Kind: organization
- Location: Italy
- Website: https://cad.polito.it
- Repositories: 1
- Profile: https://github.com/cad-polito-it
Works produced by the CAD & Reliability group of the Department of Control and Computer Engineering (DAUIN) of Politecnico di Torino