Publication | Closed Access
Memristor-based IMPLY logic design procedure
153
Citations
15
References
2011
Year
Unknown Venue
Logic SynthesisElectrical EngineeringEngineeringCircuit DesignAutomated ReasoningCorrect Logic BehaviorDynamic LogicFormal MethodsComputer ArchitectureComputer EngineeringMemristor ModelMemory DeviceComputer ScienceSemiconductor MemoryLogic GatesFormal Verification
Memristors can be used as logic gates. No design methodology exists, however, for memristor-based combinatorial logic. In this paper, the design and behavior of a memristive-based logic gate - an IMPLY gate - are presented and design issues such as the tradeoff between speed (fast write times) and correct logic behavior are described, as part of an overall design methodology. A memristor model is described for determining the write time and state drift. It is shown that the widely used memristor model - a linear ion drift memristor - is impractical for characterizing an IMPLY logic gate, and a different memristor model is necessary such as a memristor with a current threshold.
| Year | Citations | |
|---|---|---|
Page 1
Page 1