Luiz Henrique Borges Sardinha, Omar Paranaiba Vilela Neto, Vitor Buxbaum Orlandi, Sérgio Vale Aguiar Campos. Simplified model for automatic QCA circuitry verification. In Jarbas A. N. Silveira, editor, Proceedings of the 30th Symposium on Integrated Circuits and Systems Design: Chip on the Sands, SBCCI 2017, Fortaleza - Ceará , Brazil, August 28 - September 01, 2017. pages 204-209, ACM, 2017. [doi]
Abstract is missing.