Simplified model for automatic QCA circuitry verification. - Luiz Henrique Borges Sardinha; Omar Paranaiba Vilela Neto; Vitor Buxbaum Orlandi; Sérgio Vale Aguiar Campos (SBCCI, 2017)