ToPoliNano: A CAD Tool for Nano Magnetic Logic.
Fabrizio RienteGiovanna TurvaniMarco VaccaMassimo Ruo RochMaurizio ZamboniMariagrazia GrazianoPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2017)
Keyphrases
- random access memory
- modal logic
- nano scale
- magnetic field
- logic programming
- automated reasoning
- classical logic
- case study
- sound and complete axiomatization
- logical framework
- read write
- digital circuits
- atomic force microscopy
- databases
- deductive reasoning
- epistemic logic
- electron microscopy
- computational properties
- file system
- x ray
- knowledge representation
- neural network