Abstract
This paper presents a new approach for converting a ternary reversible circuit implemented from a truth table into an online testable circuit. Our approach adds three extra lines to the given circuit, inserts Feynman gates and M-S gates, and replaces the ternary Toffoli gates (KP-m gates) with TKP-(m+1) gates. Our approach works with only 2×2 gates and 1×1 gates and covers a higher number of detectable faults. Preliminary work shows fault coverage of 84.89% when the approach is applied to a testable ternary half adder.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Landauer, R.: Irreversibility and heat generation in the computing process. IBM Journal of Research and Development 5, 183–191 (1961)
Bennett, C.H.: Logical reversibility of computation. IBM Journal of Research and Development 17(6), 525–532 (1973)
Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press (2000)
Nayeem, N.M., Rice, J.E.: A new approach to online testing of TGFSOP-based ternary Toffoli circuits. In: Proceedings of the 42nd International Symposium on Multiple-Valued Logic (ISMVL), Victoria, BC, Canada, May 14-16 (to appear, 2012)
Vasudevan, D.P., Lala, P.K., Jia, D., Parkerson, J.P.: Reversible logic design with online testability. IEEE Transactions on Instrumentation and Measurement 55(2), 406–414 (2006)
Mahammad, S.N., Veezhinathan, K.: Constructing online testable circuits using reversible logic. IEEE Transactions on Instrumentation and Measurement 59(1), 101–109 (2010)
Wang, L., Wu, C., Wen, X. (eds.): VLSI Test Principles and Architectures: Design for Testability. Morgan Kaufmann (2006)
Hayes, J.P., Polian, I., Becker, B.: Testing for missing-gate faults in reversible circuits. In: Proceedings of the 13th Asian Test Symposium, pp. 100–105 (2004)
Khan, M.H.A., Perkowski, M., Khan, M.R., Kerntopf, P.: Ternary GFSOP minimization using Kronecker decision diagrams and their synthesis with quantum cascades. Journal of Multiple-Valued Logic and Soft Computing 11(5-6), 567–602 (2005)
Khan, M.H.A., Perkowski, M.A.: Quantum ternary parallel adder/subtractor with partially-look-ahead carry. Journal of Systems Architecture 53(7), 453–464 (2007)
Rahman, M.R.: Online testing in ternary reversible logic. Master’s thesis, University of Lethbridge (2011)
Khan, M.H.A., Perkowski, M., Kerntopf, P.: Multi-output Galois field sum of products synthesis with new quantum cascades. In: Proceedings of the 33rd International Symposium on Multiple-Valued Logic, pp. 146–153 (2003)
Miller, D.M., Maslov, D., Dueck, G.W.: Synthesis of quantum multiple-valued circuits. Journal of Multiple-Valued Logic and Soft Computing 12(5-6), 431–450 (2006)
Khan, M.H.A.: GFSOP-based ternary quantum logic synthesis. In: Proceedings of SPIE 7797 (Optics and Photonics for Information Processing IV), San Diego, California (2010)
Rahman, M.R., Rice, J.E.: On designing a ternary reversible circuit for online testability. In: Proceedings of the IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM), Victoria, B.C., Canada, pp. 119–124 (August 2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nayeem, N.M., Rice, J.E. (2013). Design of an Online Testable Ternary Circuit from the Truth Table. In: Glück, R., Yokoyama, T. (eds) Reversible Computation. RC 2012. Lecture Notes in Computer Science, vol 7581. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36315-3_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-36315-3_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36314-6
Online ISBN: 978-3-642-36315-3
eBook Packages: Computer ScienceComputer Science (R0)