Simplified model for automatic QCA circuitry verification-Reference-Cited by-同舟云学术

Simplified model for automatic QCA circuitry verification

Published:2017 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 30th Symposium on Integrated Circuits and Systems Design Chip on the Sands - SBCCI '17
language:
Short-container-title:

Author:

Sardinha Luiz Henrique Borges¹,Neto Omar Paranaiba Vilela¹,Orlandi Vitor Buxbaum¹,Campos Sergio Vale Aguiar¹

Affiliation:

1. Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brazil

Publisher

ACM Press

Reference20 articles.

1. Laurence Calzone, François Fages, and Sylvain Soliman. 2006. BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22, 14 (2006), 1805--1807.

2. Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia, and Marco Roveri. 1999. NuSMV: A new symbolic model verifier. In International conference on computer aided verification. Springer, 495--499.

3. Olivier Coudert and Jean Christophe Madre. 2003. A unified framework for the formal verification of sequential circuits. In The Best of ICCAD. Springer, 39--50.

4. Aarti Gupta. 1992. Formal hardware verification methods: A survey. In Computer-Aided Verification. Springer, 5--92.

5. Steven C Henderson, Eric W Johnson, Jason R Janulis, and P Douglas Tougaw. 2004. Incorporating standard CMOS design process methodologies into the QCA logic design process. Nanotechnology, IEEE Transactions on 3, 1 (2004), 2--9.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Evaluation of Digital Circuit Methodologies in Nanotechnology Using QCA - Quantum Dot Cellular Automata;Lecture Notes in Electrical Engineering;2022