Professional Documents
Culture Documents
Cesar de S. Dias
Abstract—In the face of the increasingly technical challenges the implementation of Boolean functions, some with univer-
imposed by the approaching of the limits of the CMOS technol- sal coverage and others limited to some specific operations.
ogy scaling, emerging devices have been considered as an alter- This Section intends to give an overall insight of the main
native to break this paradigm. In this scenario, memristive de-
contributions in this field of research.
vices have attracted the attention of the scientific community in
the last years as potential candidates to play a leading role in
A. Imply Logic
the next generation of VLSI circuits. A substantial effort has
been devoted to the development of several memristive based Material implication is a logical operation represented as
applications, which includes high-density nonvolatile memo- p → q or p IMP q, meaning “p implies q” or “if p then q”.
ries, digital and analog circuits, as well as bio-inspired compu-
By observing the truth table of this function, in Fig. 1a, it is
ting. In this context, this paper presents a brief review of some
important design techniques used in memristive-based digital possible to notice that the operation p → q is logically equiv-
and analog applications. alent to the expression 𝑝 + 𝑞. For this reason, this function
can be represented by the symbol shown in Fig. 1b. An im-
Index Terms— memristive devices; VLSI circuits; applica- portant feature of the IMP function is that, along with the
tions. FALSE operation (that always yields logic value ‘0’), it com-
poses a complete computational set that can be used to per-
I. INTRODUCTION form any logic operation. As shown in [6], the implementa-
tion of this function can be performed by the circuit shown
The downscaling of CMOS technology has been unceas-
in Fig. 2.
ingly used over the last decades to achieve higher encapsu-
lation density, faster circuits and to lower power consump-
tion [1]. Unfortunately, it has become harder to sustain this
tendency, once the dimensions of the MOSFETs are already
under the nanometric regime [2]. This adversity resulted in a
favorable scenario for the exploration of alternative compu-
tational architectures based on the use of emerging technol-
ogies, either alone or in a complementary way to CMOS Fig. 1. (a) Truth table of p → q. (b) Symbol of IMPLY logic gate.
technology, aiming to supply the increasing demand for per-
formance in several types of applications, like Big Data and
Internet of Things [3]. Within the group of candidates with
this profile are the memristors. Among the outstanding char-
acteristics of these elements, it can be mentioned its non-vol-
atility, good scalability, absence of leakage currents and
compatibility with CMOS technology [4]. This set of fea-
tures enables the exploitation of memristors in a variety of
applications in VLSI system design, including non-volatile
high-density integration memories, digital logic circuits, an-
alog circuits, and even neuromorphic systems [5].
In Section II, some notable approaches adopted to imple-
ment digital logic are discussed. Section III covers remarka- Fig. 2. (a) Circuit proposed in [6] for the implementation of memristive ma-
ble techniques employed in memristive-based analog design. terial implication. (b) Polarity convention for increasing/decreasing re-
sistance.
Section IV contains the final remarks.
The logical variables of this structure are the resistances
of P and Q, so that a logic level '1' corresponds to a low re-
II. DIGITAL LOGIC DESIGN sistance state 𝑅𝑂𝑁 and a level '0' corresponds to a high re-
Memristors provide the unique opportunity to either sup- sistance value 𝑅𝑂𝐹𝐹 . The computation of the imply operation
plement or replace CMOS technology. This Section will ex- is performed by applying voltages VCOND and VSET to P and
plore the potential of memristors in digital applications. Q, respectively. It should be noted that the input memristors
There is a large amount of memristor-based methods and at the beginning of the operation are P and Q, and the output
circuits focused on performing logic operations. This broad memristor at the end of the operation is Q (the input value of
spectrum of propositions includes different philosophies for Q may be destroyed). In addition, the following conditions
must be met to ensure the operation of a material implication:
𝑉𝐶𝑂𝑁𝐷 < 𝑉𝐶 < 𝑉𝑆𝐸𝑇 , (1) the voltage (current) over (across) the output memristor to be
(𝑉𝑆𝐸𝑇 − 𝑉𝐶𝑂𝑁𝐷 ) < 𝑉𝐶 , (2) lower than the threshold voltage (current). Hence, the logical
𝑅𝑂𝑁 < 𝑅𝐺 < 𝑅𝑂𝐹𝐹 , (3) state of the output memristor does not change and remains at
logical one. For other input combinations, the voltage/cur-
where VC is the critical voltage, a minimum value required rent is greater than the memristor threshold voltage/current.
to change the state of the memristor. The polarity shown in The logical state of the output memristor for these input com-
Fig. 2b is assumed. When computing an implication, the cur- binations switches to logical zero.
rent direction across a memristor can only be from top to bot- MAGIC and Imply Logic are memristive-based design
tom. So, whenever Q starts at ‘1’, that state will remain un- approaches that can be integrated within a crossbar array and
changed (combinations “01” and “11”). When P = ‘0’ and Q enable in-memory-computing, i.e., simultaneous processing
= ‘0’, most of the 𝑉𝐶𝑂𝑁𝐷 and 𝑉𝑆𝐸𝑇 voltages will fall on their and storage of data by the same circuit [9] .
respective memristors, switching Q to ‘1’ and keeping P at
‘0’. Lastly, when P = ’1’ and Q = ’0’, V G will be approxi- C. MRL
mately 𝑉𝐶𝑂𝑁𝐷 and the voltage over Q will be VSET-VCOND,
MRL (Memristor Ratioed Logic) family [10] combines
which is insufficient to cause a resistance switching in this
memristive and CMOS technologies. In this logical family,
device. Laiho and Lehtonen [7] showed the extension of this
the AND and OR gates are implemented only with memris-
operation to multiple input memristors.
tors. These gates are combined with a CMOS inverter to
B. MAGIC form the NAND and NOR gates, which are universal Bool-
ean functions. The NOT gate also serves to restore degraded
An important memristor-only logic family was proposed signals. An overview of such implementations is provided in
in [8]. In this method, called MAGIC (Memristor-Aided Fig. 4 . The following explanation regarding the operation of
logic), a logic gate is built with an individual memristor for these gates is based on the polarity convention depicted in
each of its inputs and an additional memristor for the output. Fig. 2b and covers AND/OR gates. When the inputs have
As in the imply logic, logical values are stored through re- identical logic levels, there is no current flowing through the
sistance states. The schematic circuits corresponding to the memristors and, therefore, there is also no resistance varia-
implementation of the AND, NAND, OR, NOR and NOT tion in these devices. Thus, VOUT follows the input values in
gates in this logic family are shown in Fig. 3. these cases. However, when the inputs are different, there
The description of the operation of a MAGIC gate will be will be a current flow from the VHIGH voltage terminal (level
based on the same polarity convention shown in Fig. 2b and ‘1’) to the VLOW terminal (level ‘0’), ensuring complemen-
divided into two steps. The first step consists in the initiali- tary resistance states in the devices. The output voltage will
zation of the output memristor to a specific logical state. In be determined by a voltage divider. Assuming R OFF ≫ R ON ,
the second step, a voltage V0 is applied to the circuit (see in if the grounded memristor is in the R OFF state, then VOUT ≅
Fig. 3) and is divided between its components. For some in- VHIGH . If it is in the R ON state, then VOUT ≅ 0 V. The number
put combinations, the voltage drop across the output memris-
of inputs can be extended by connecting more memristors to
tor will be sufficient to surpass a certain threshold value and, the common node, similar to a logic with diodes.
consequently, change its logical state. For other input com-
binations, this will not happen and the output memristor re-
mains at its pre-established state.
For a NOR gate, the first step is to write logic level ‘1’ on
the output memristor and, if necessary, write the input values
on the memristors In1 and In2. After that, the computation is
performed by applying a voltage V0 to the circuit, as shown
in Fig. 3a.