{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T12:37:33Z","timestamp":1723466253188},"reference-count":32,"publisher":"Association for Computing Machinery (ACM)","issue":"4","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. Emerg. Technol. Comput. Syst."],"published-print":{"date-parts":[[2006,10]]},"abstract":"Emerging technologies have attracted a substantial interest in overcoming the physical limitations of CMOS as projected at the end of the Technology Roadmap; among these technologies, quantum-dot cellular automata (QCA) relies on different and novel paradigms to implement dense, low power circuits and systems for high-performance computing. As applicable to existing technologies, a hierarchical process can be utilized to facilitate the design of QCA circuits. Tools and methodologies both at system and physical levels are required to support all design phases. This article presents an HDL model to describe QCA \u201cdevices\u201d (also referred elsewhere in the technical literature as building blocks, i.e., majority voter, inverter, wire, crossover) and facilitate the evaluation of their design. This tool, referred to as HDLQ, allows a designer to verify the logic characteristics of a QCA system, while supporting within a design environment different operational mechanisms (such as fault injection) and the unique features of QCA (such as bidirectionality and timing\/clocking partitioning). The applicability of this design environment to various memory circuits for logic and timing verification is presented in detail. Various defective conditions for kinks due to thermodynamic effects and permanent faults due to manufacturing defects are considered for injection.<\/jats:p>","DOI":"10.1145\/1216396.1216397","type":"journal-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T19:20:08Z","timestamp":1175800808000},"page":"243-261","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":46,"title":["HDLQ"],"prefix":"10.1145","volume":"2","author":[{"given":"Marco","family":"Ottavi","sequence":"first","affiliation":[{"name":"Northeastern University, Boston MA"}]},{"given":"Luca","family":"Schiano","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston MA"}]},{"given":"Fabrizio","family":"Lombardi","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston MA"}]},{"given":"Douglas","family":"Tougaw","sequence":"additional","affiliation":[{"name":"Valparaiso University, Valparaiso, IN"}]}],"member":"320","published-online":{"date-parts":[[2006,10]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"IEEE Proceedings of the 9th Great Lakes Symposium on VLSI","author":"Berzon D."},{"key":"e_1_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Clark J. A. and Pradhan D. K. 1995. Fault injection: A method for validating computer-system dependability. Comput. 47--56. 10.1109\/2.386985 Clark J. A. and Pradhan D. K. 1995. Fault injection: A method for validating computer-system dependability. Comput. 47--56. 10.1109\/2.386985","DOI":"10.1109\/2.386985"},{"key":"e_1_2_1_3_1","volume-title":"Conference.","author":"Compano R."},{"key":"e_1_2_1_4_1","volume-title":"1st Workshop on Non-Silicon Computation.","author":"Frost S. E."},{"key":"e_1_2_1_5_1","unstructured":"Graphics M. 2006. Modelism. http:\/\/www.model.com. Graphics M. 2006. Modelism. http:\/\/www.model.com."},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","first-page":"4220","DOI":"10.1063\/1.1481784","article-title":"Molecular patterning through high-resolution polymethylmethacrylate masks","volume":"80","author":"Hang Q. L.","year":"2002","journal-title":"Appl. Phys. Lett."},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1166\/jnn.2003.183","article-title":"A liftoff technique for molecular nanopatterning","volume":"3","author":"Hang Q. L.","year":"2003","journal-title":"J. Nanosci. Nanotechnol."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2003.820506"},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","first-page":"1752","DOI":"10.1116\/1.1394729","article-title":"Clocking of molecular quantum-dot cellular automata","volume":"19","author":"Hennessy K.","year":"2001","journal-title":"J. Vaccum Sci. Technol."},{"key":"e_1_2_1_10_1","volume-title":"5th IEEE Conference on Nanotechnology.","author":"Huang J."},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","first-page":"7522","DOI":"10.1021\/ja035077c","article-title":"Building blocking for the molecular expression of QCA, isolation and characterization of a covalently bounded square array of two ferrocenium and two ferrocene complexes","volume":"125","author":"Jiao J.","year":"2003","journal-title":"J. Amer. Chem. Soc. (JACS Commun.)"},{"key":"e_1_2_1_12_1","volume-title":"IEEE Proceedings of the Workshop on Physiscs and Computing","author":"Lent C. S."},{"key":"e_1_2_1_13_1","volume-title":"IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems. 208--216","author":"Momenzadeh M.","year":"2005"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 27th Design Automation Conference. 227--232","author":"Niemier M. T."},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1002\/1097-007X(200101\/02)29:1<49::AID-CTA132>3.0.CO;2-1","article-title":"Problems in designing with QCAs: Layout=Timing","volume":"29","author":"Niemier M. T.","year":"2001","journal-title":"Int. J. Circuit Theory Appl."},{"key":"e_1_2_1_16_1","volume-title":"International Conference on Electronics, Circuits, and Systems (ICECS), 1211--1215","author":"Niemier M. T.","year":"1999"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","first-page":"928","DOI":"10.1126\/science.277.5328.928","article-title":"Realization of a functional cell for quantum-dot cellular automata","volume":"277","author":"Orlov A. O.","year":"1997","journal-title":"Sci."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the IEEE Computer Society Annual Symposium on VLSI. 292--294","author":"Ottavi M.","year":"2005"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 5th IEEE Conference on Nanotechnology","author":"Ottavi M."},{"key":"e_1_2_1_21_1","volume-title":"6th IEEE Conference on Nanotechnology","author":"Ottavi M."},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","first-page":"15250","DOI":"10.1021\/ja0371909","article-title":"Molecular quantum cellular automata cells: Electric field driven switching of a silicon surface bound array of vertically oriented two-dot molecular QCA","volume":"125","author":"Qi H.","year":"2003","journal-title":"J. Amer. Chem. Soci."},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","first-page":"15250","DOI":"10.1021\/ja0371909","article-title":"Molecular quantum cellular automata cells. Electric field driven switching of a silicon surface bound array of vertically oriented two-dot molecular quantum cellular automata","volume":"125","author":"Qi H.","year":"2003","journal-title":"J. Amer. Chem. Soc."},{"key":"e_1_2_1_24_1","first-page":"284","article-title":"Computation without current","volume":"2","author":"Smith C. G.","year":"1999","journal-title":"Sci."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2004.834169"},{"key":"e_1_2_1_26_1","doi-asserted-by":"crossref","first-page":"1050","DOI":"10.1063\/1.1581350","article-title":"Maxwell's demon and quantum-dot cellular automata","volume":"94","author":"Timler J.","year":"2003","journal-title":"J. Appl. Phys."},{"key":"e_1_2_1_27_1","doi-asserted-by":"crossref","first-page":"1818","DOI":"10.1063\/1.356375","article-title":"Logical devices implemented using quantum cellular automata","volume":"75","author":"Tougaw P. D.","year":"1994","journal-title":"J. Appl. Phys."},{"key":"e_1_2_1_28_1","doi-asserted-by":"crossref","first-page":"4722","DOI":"10.1063\/1.363455","article-title":"Dynamic behavior of quantum dot cellular automata","volume":"80","author":"Tougaw P. D.","year":"1996","journal-title":"J. Appl. Phys."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2005.858589"},{"key":"e_1_2_1_30_1","volume-title":"Micronet Annual Workshop","author":"Walus K.","year":"2003"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2003.820815"},{"key":"e_1_2_1_32_1","unstructured":"K. Walus. 2006. QCA Designer. http:www.qcadesigner.ca. K. Walus. 2006. QCA Designer. http:www.qcadesigner.ca."},{"key":"e_1_2_1_33_1","volume-title":"3rd IEEE Conference on NanoTechnology","author":"Walus K."}],"container-title":["ACM Journal on Emerging Technologies in Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1216396.1216397","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T20:56:54Z","timestamp":1672261014000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1216396.1216397"}},"subtitle":["A HDL environment for QCA design"],"short-title":[],"issued":{"date-parts":[[2006,10]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,10]]}},"alternative-id":["10.1145\/1216396.1216397"],"URL":"https:\/\/doi.org\/10.1145\/1216396.1216397","relation":{},"ISSN":["1550-4832","1550-4840"],"issn-type":[{"value":"1550-4832","type":"print"},{"value":"1550-4840","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,10]]},"assertion":[{"value":"2006-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}