Author:
Huhn Sebastian,Drechsler Rolf
Publisher
Springer International Publishing
Reference27 articles.
1. M. Bushnell, V. Agrawal, Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits (Springer, 2013). https://doi.org/10.1007/b117406
2. A. Biere et al., Symbolic model checking without BDDs, in Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Springer, 1999), pp. 193–207. https://doi.org/10.1007/3540490590_14
3. D. Blaauw et al., Razor II: In situ error detection and correction for PVT and SER tolerance, in Proceedings of the IEEE International Conference on Solid-State Circuits (2008), pp. 400–622. https://doi.org/10.1109/ISSCC.2008.4523226
4. A.E. Barbour, A.S. Wojcik, A general constructive approach to fault-tolerant design using redundancy. IEEE Trans. Comput. 38(1), 15–29 (1989). https://doi.org/10.1109/12.8727
5. S.A. Cook, The complexity of theorem-proving procedures, in Proceedings of the ACM International Symposium on the Theory of Computing (Shaker Heights, Ohio, USA, 1971), pp. 151–158. https://doi.org/10.1145/800157.805047