4.5  Comparison of Improved Implication and Reprogrammable Gates

Fig. 4.21 compares the average error probabilities (---
E  ) of different logic operations using the CC-IMP gate ((N)IMP operation) and a two-input reprogrammable logic gate (AND, OR, NAND, and NOR operations) as a function of TMR ratio with optimized circuit parameters (Iimp   , RG   , and VA   ) at each point. The MTJ device parameters are given as RP  =  1.8 k Ω  , Δ  =  40  , IC0 (AP   →  P  ) = 325  μA  , and IC0 (P  →  AP  ) =  425  μA  . It illustrates that the error decreases exponentially with increasing TMR ratio and for the same device characteristics, the implication gate exhibits a more reliable logic behavior as compared to the reprogrammable gate. It has to be mentioned that these results are obtained in the MTJ thermally-activated switching regime (t =  50   ns), which is rather slow for logic applications. However, as the MTJ-based logic mainly relies on a current modulation required for STT switching, the superior reliability of the implication gate is independent of the switching regime as it is demonstrated below in Fig. 4.22.


PIC

Figure 4.21.: Average error probabilities for the implication and two-input reprogrammable logic gates as a function of the TMR ratio.


PIC

Figure 4.22.: Maximum current modulation (Id - Iu)∕Id   in implication and two-input reprogrammable logic gates as a function of the TMR ratio.

Fig. 4.22 compares the maximum current modulations (I  -  I ) ∕I
   d    u    d   for each MTJ-based operation as a function of the TMR ratio. Id   is the minimum current required for a desired resistance switching and I
 u   is the maximum current which can enforce an undesired resistance switching. For example, in the implication gate Id   (Iu   ) is the current flowing through T  (S  ) in State 1. For the reprogrammable-based AND operation I
 d   (I
 u   ) is the current flowing through the output MTJ in State 4 (State 2 and State 3). As shown in Fig. 4.22, the implication gate allows higher current modulations compared to the highest modulation by the reprogrammable-based AND operation. Therefore, it opens a wider gap between desired and undesired switching events and thus inherently enables a more reliable logic behavior. In fact, with the implication logic gate, R
  G   provides one more degree of freedom for the circuit parameters’ optimization. Therefore, the basic logic operation by the implication logic gate exhibits five times more reliable behavior as compared to the most reliable operation (AND) implemented by the reprogrammable gate (Fig. 4.21). The record TMR ratio of 604% [182] makes the MgO-based MTJ a major candidate for STT-operated magnetoresistive random-access memories (STT-MRAMs) and promises highly reliable MTJ-based logic architectures.

In order to preform a fair comparison, we assume the same MTJ device characteristics for both logic gates and determine the minimum possible error probabilities (corresponding to optimized circuit parameters as shown in Fig. 4.15b and Fig. 4.20) for implementing the same binary Boolean functions using the implication and the reprogrammable logic gates. For implication-based logic, appropriate sequential steps of NIMP and TRUE operations must be executed to perform a specific logic function as designed before. With the reprogrammable gate, a network of basic logic operations including AND, OR, NAND, and NOR has to be constructed. Each basic operation includes a preset (TRUE or FALSE) and a conditional switching event (Table 4.1 and Table 4.2)). We define the average error probability of a complex Boolean logic function (f  ) implemented by using a sequence of the basic logic operations as

---                      ∏nf       ---
Ef  =  1 - R (f ) =  1 -     [1 -  Eb (i)],

                          i=1
(4.27)

where R (f )  is the reliability of f  , nf   indicates the total number of required basic logic operations for implementing f  , and ---
Eb (i)  corresponds to the average error probability of the   i- th basic logic operation. Since by applying high enough voltage/current highly reliable TRUE and FALSE operations can be executed, we suppose that the error probability of a TRUE or FALSE operation is negligible compared to the error probabilities of conditional switching events in both implication and reprogrammable gates. Therefore, nf   is equal to the total number of the conditional switching events required for performing f  based on either implication or reprogrammable gates.


Table 4.3.: Average error probabilities for 7 distinct binary Boolean functions based on the implication and reprogrammable logic architectures for TMR   = 250%  .

ReprogrammableReprogrammable* Implication




AND            -3
≃  1.6 × 10             -3
≃ 1.6 × 10             -4
≃ 5.6 × 10
OR            -2
≃  2.2 × 10             -2
≃ 1.1 × 10             -4
≃ 8.4 × 10
NAND            -3
≃  3.6 × 10             -3
≃ 3.6 × 10             -4
≃ 8.4 × 10
NOR ≃  2.4 × 10 -2   ≃ 8.8 × 10-3   ≃ 5.6 × 10-4
NOT ≃  3.6 × 10 -3   ≃ 3.6 × 10-3   ≃ 2.8 × 10-4
IMP ≃  2.6 × 10 -2   ≃ 8.8 × 10-3   ≃ 5.6 × 10-4
NIMP ≃  5.2 × 10 -3   ≃ 5.2 × 10-3   ≃ 2.8 × 10-4

As an example, performing an implication-based NOR operation requires three sequential steps including one TRUE and two NIMP operations as shown in Eq. 3.2. Therefore, for TMR    =  250%  (Fig. 4.21),                 nf =  2  and

---                 ---              ---
ENOR   =  1 - [1 -  ENIMP  ]2 ≃  2 × ENIMP    ≃ 5.6 ×  10 - 4.
(4.28)

With the reprogrammable gate, one can directly perform NOR in two steps including one FALSE and one conditional switching as shown in Table 4.2), for which nf  = 1  and

---                 ---
E       = 1 -  [1 - E      ]1 ≃ 2.4  × 10 - 2
  NOR                  NOR
(4.29)

A more efficient way to reduce the error probability with the reprogrammable gate is designing and performing the logic function f  only based on the more reliable AND and NAND operations (Fig. 4.20 and Fig. 4.21). Therefore, a reprogrammable-based NOR operation can be indirectly executed as a combination of two NAND and one AND operations (in a sequential manner) for which      nf =  3  and

---                 ---          ---
E      =  1 -  [1 -  E      ][1 -  E       ]2 ≃ 8.8 ×  10 - 3.
  NOR                 AND          NAND
(4.30)

This kind of design (shown as reprogrammable* in Table 4.3) exhibits a more reliable behavior as compared to the direct realization of the reprogrammable-based NOR operation. However, its error is still about one order of magnitude higher than the implication-based implementation. This shows that the implication logic has a great potential to form a highly reliable MTJ-based logic framework.

Table 4.3 shows the average error probability (---
Ef   ) of different Boolean functions for implication and reprogrammable logic gates based on Eq. 4.27 and the error values shown in Fig. 4.21 for TMR=250%. Reprogrammable* shows the results for the designs with minimized error probabilities based on AND and NAND operations. For the sake of completeness, performing the NOT operation requires one TRUE and one NIMP (NAND) operation using the implication (reprogrammable [55]) logic architecture.

  TRUE :  t = 1
NIMP :  t s ≡{t = t.s NOT s} (4.31)
 
TRUE :  a2 = 1
Preset :  b1 = 0
NAND :  b1 a1.a2 NOT a1 (4.32)