Simplified model for automatic QCA circuitry verification
Luiz Henrique Borges Sardinha, Omar P. Vilela Neto, Vitor Buxbaum Orlandi, Sérgio Campos · 2017
In beyond silicon research, Quantum-dot Cellular Automata (QCA) emerged as a candidate for replacing the traditional CMOS logic circuits. QCA is a paradigm based on the exchange of information between cells that takes advantage of Coulomb's law. In this work, we managed to extract dependence relations through a circuit designed on QCADesigner simulator. We built small models representing fragments of the whole circuit which can be verified for common mistakes such as cell misplacements and synchronization issues. The entire process usually takes less than 1% of the simulation time. The use of such technique could vastly reduce the time for bug correction and quickly identify unexpected situations.