Author:
Huhn Sebastian,Drechsler Rolf
Publisher
Springer International Publishing
Reference34 articles.
1. 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
2. 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
3. R.E. Bryant, Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. C-35(8), 677–691 (1986). https://doi.org/10.1109/TC.1986.1676819
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. R. Drechsler et al., Test Pattern Generation Using Boolean Proof Engines (Springer, 2009). https://doi.org/10.1007/978-90-481-2360-5