A Review on Memristive Stateful Logic


Article Preview

With the realization of physical memristors, using memristors to perform stateful logic operations has been demonstrated feasible. In such operations, memristors simultaneously serve as latches and logic gates, thus enabling the in-situ computing which may open a new computing paradigm for computer architecture. In this paper, we first analyze two types of typical memristive stateful logic gates to reveal the working mechanism of the stateful logic, and then review the recent researches on the memristive stateful logic, and finally discuss the pros and cons of the stateful logic. We reach the conclusion that the stateful logic promises a novel computing paradigm which may revolutionize the conventional computer architecture, while its development is currently subjected to the state drift problem and is constrained by the lack of a general design methodology and physically verification.



Advanced Materials Research (Volumes 791-793)

Edited by:

B. Li and H.M. Zhang




X. D. Fang et al., "A Review on Memristive Stateful Logic", Advanced Materials Research, Vols. 791-793, pp. 1845-1849, 2013

Online since:

September 2013




[1] L. O. Chua, Memristor - the missing circuit element, IEEE Transactions on Circuit Theory, vol. 18, no. 5, p.507–519, (1971).

DOI: https://doi.org/10.1109/tct.1971.1083337

[2] L. O. Chua and S. M. Kang, Memristive devices and systems, Proceedings of the IEEE, vol. 64, no. 2, p.209–223, (1976).

[3] D. B. Strukov, G. S. Snider, D. R. Stewart, and R. S. Williams, The missing memristor found, Nature, vol. 453, no. 7191, p.80–83, (2008).

DOI: https://doi.org/10.1038/nature06932

[4] R. Waser, R. Dittmann, G. Staikov, and K. Szot, Redox-based resistive switching memories - nanoionic mechanisms, prospects, and challenges, Advanced Materials, vol. 21, no. 25-26, p.2632–2663, Jul. (2009).

DOI: https://doi.org/10.1002/adma.200900375

[5] J. Borghetti, G. S. Snider, P. J. Kuekes, J. J. Yang, D. R. Stewart, and R. S. Williams, 'Memristive' switches enable 'stateful' logic operations via material implication, Nature, vol. 464, no. 7290, p.873–876, (2010).

DOI: https://doi.org/10.1038/nature08940

[6] G. Snider, Computing with Hysteretic Resistor Crossbars, Applied Physics A: Materials Science and Processing, Vol. 80, No. 6, pp.1165-1172, March (2005).

DOI: https://doi.org/10.1007/s00339-004-3149-1

[7] K. K. Sangho Shin and S. -M. Kang, Reconfigurable stateful NOR gate for large-scale logic-array integrations, IEEE Transactions on Circuits and Systems II: Express Briefs, vol. 58, no. 7, p.442–446, (2011).

DOI: https://doi.org/10.1109/tcsii.2011.2158253

[8] X. Sun, G. Li, L. Ding, N. Yang, and W. Zhang, Unipolar memristors enable "stateful" logic operations via material implication, Applied Physics Letters, vol. 99, no. 7, pp.072-101–072 103, (2011).

DOI: https://doi.org/10.1063/1.3624895

[9] E. Lehtonen, J. H. Poikonen, and M. Laiho, Two memristors suffice to compute all Boolean functions, IET Electronic Letters, vol. 46, p.239–240, (2010).

DOI: https://doi.org/10.1049/el.2010.3407

[10] E. Lehtonen, J. H. Poikonen, and M. Laiho, Applications and limitations of memristive implication logic, 13th International Workshop on Cellular Nanoscale Networks and Their Applications (CNNA), Aug. 2012, p.1–6.

DOI: https://doi.org/10.1109/cnna.2012.6331438

[11] J. H. Poikonen, E. Lehtonen, and M. Laiho, On synthesis of Boolean expressions for memristive devices using sequential implication logic, IEEE Transactions on computer-aided design of Integrated Circuits and Systems, vol. 31, no. 7, p.1129–1134, (2012).

DOI: https://doi.org/10.1109/tcad.2012.2187524

[12] S. Shin, K. Kim, and S. -M. Kang, Reconfigurable stateful NOR gate for large-scale logic-array integrations, IEEE Trans. Circuits Syst. II, Exp. Briefs, vol. 58, no. 7, p.442–446, Jul. (2011).

DOI: https://doi.org/10.1109/tcsii.2011.2158253

[13] K. Kim, S. Shin, and S. -M. Kang, Stateful logic pipeline architecture, in Proc. ISCAS, May 2011, p.2497–2500.

[14] S. Shin, K. Kim, and S. -M. Kang, Memristive XOR for resistive multiplier, Electronics Letters, vol. 48, no. 2, p.78–80, Jan. (2012).

DOI: https://doi.org/10.1049/el.2011.3270

[15] S. Shin, K. Kim, and S. -M. Kang, Resistive computing: memristors-enabled signal multiplication, IEEE Transactions on Circuits and Systems I: Regular Papers, vol. 60, no. 5, p.1241–1249, May. (2013).

DOI: https://doi.org/10.1109/tcsi.2013.2244434

[16] A. H. Shaltoot, and A. H. Madian, Memristor Based Carry Lookahead Adder architectures, 2012 IEEE 55th International Midwest Symposium on Circuits and Systems (MWSCAS), Aug. 2012, p.298–301.

DOI: https://doi.org/10.1109/mwscas.2012.6292016

[17] T. Raja and S. Mourad, Digital logic implementation in memristorbased crossbars—a tutorial, in Proc. IEEE Int. Symp. Electron. Des. Test Applicat., Jan. 2010, p.303–309.

[18] G. Snider, Computing with hysteretic resistor crossbars, Applied Physics A, 80: 1165–1172, (2005).

DOI: https://doi.org/10.1007/s00339-004-3149-1

[19] E. Lehtonen, J. H. Poikonen, and M. Laiho, Implication logic synthesis methods for memristors, 2012 IEEE International Symposium on Circuits and Systems (ISCAS), May 2012, p.2441–2444.

DOI: https://doi.org/10.1109/iscas.2012.6271792

[20] S. Kvatinsky, E. G. Friedman, A. Kolodny, and U. C. Weiser, Memristor-based IMPLY logic design procedure, in Proc. IEEE Int. Conf. Computer Design, Oct. 2011, p.142–147.

DOI: https://doi.org/10.1109/iccd.2011.6081389