Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow

1.1 Abstract The work carried out in this thesis is concerned with the design of electronic logic circuits using Spin Transfer Torque Magnetic Random Access Memory(STT MRAM), Spin Hall Effect(SHE) assisted STT-MRAM, Memristor. The thesis presents a detailed theory about STT-MRAM, SHE and Memristor. Several initial designs and implementations, available in literature, have been discussed for an in-depth understanding of the subject.

Dynamic routing tables are pivotal in ensuring the efficiency and accuracy of large computational systems in both specification and implementation. These systems are subject to formal methods, which employ mathematical models for error-free development. The inherent mathematical functions in formal methods serve to validate the design, guaranteeing functionality, consistency, and reliability in the final product. The π-calculus stands out as a key calculus for modeling distributed systems, including the dynamic creation of names in forms such as DRπ and DRωπ.