diff --git a/README.md b/README.md index 5fb56ba4e86828e6c37d182aade14327591d78ce..427279297210289238dc7fbec131a921a5141b9d 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,28 @@ # SafeDE - light lockstep hardware module +SafeDE (Safe Diversity Enforcer) is hardware module provides light-lockstep support by means of a non-intrusive and flexible hardware module that preserves staggering across cores running redundant threads, thus bringing time diversity to avoid common cause failures. -SafeDE is a small hardware module for light-lockstep +For more information please check the `docs` directory, in particular the [main.pdf](docs/main.pdf) + +## Reference + +If you are using the SafeDE IP for an academic publication, please cite the following paper: + +F. Bas, S. Alcaide, G. Cabo, P. Benedicte and J. Abella, "SafeDE: A Low-Cost Hardware Solution to Enforce Diverse Redundancy in Multicores," in IEEE Transactions on Device and Materials Reliability, vol. 22, no. 2, pp. 111-119, June 2022, doi: 10.1109/TDMR.2022.3156799. + +``` +@ARTICLE{9729773, + author={Bas, Francisco and Alcaide, Sergi and Cabo, Guillem and Benedicte, Pedro and Abella, Jaume}, + journal={IEEE Transactions on Device and Materials Reliability}, + title={SafeDE: A Low-Cost Hardware Solution to Enforce Diverse Redundancy in Multicores}, + year={2022}, + volume={22}, + number={2}, + pages={111-119}, + doi={10.1109/TDMR.2022.3156799}} +``` + + +## Repo Organization This repository contains the RTL and documentation for the unit.