Abstract
A cloud service, QuaSim, designed for fault-free simulation and verification of a system on a chip (SoC), based on interactions between the addressable memory primitives representing any functionality, is proposed. An innovative idea for synthesis and analysis of digital systems, leveraging the qubit vector form of logical and sequential structures implemented in the memory elements, is described. It is substantially different from the discrete device design theory based on truth tables of the circuit components. Quantum or qubit data structures are used for implementation of computational processes in order to improve the performance of digital systems analysis and reduce memory volume through unary state coding of circuit signals (input, internal, and output), and also insertion of qubit vectors in PLD memory components, which realize logical and sequential elements. Leveraging qubit memory-driven models for digital component description of computer system design directly affects the increase in yield. It allows improvements in the dependability, reliability, and quality of computing, reducing the time to market, reducing design and manufacturing expenses, and providing online human-free remote repair.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Metodi, T., & Chong, F. (2006). Quantum computing for computer architects. Morgan & Claypool: Synthesis lectures on computer architecture. University of Wisconsin: Madison.
Stig S., & Suominen K.-A. (2005). Quantum approach to informatics. John Wiley & Sons, Inc., Hoboken, New Jersey.
Hahanov, V. I., Gharibi, W., Litvinova, E. I., & Shkil, A. S. (2015). Qubit data structure of computing devices. Electronic Modeling Journal, 1, 76–99.
Hahanov, V., Bani Amer, T., Hahanov, I. (2015). MQT-model for virtual computer design. In: Proc. of Microtechnology and Thermal Problems in Electronics (Microtherm), 2015.
Hahanov, V.I., Litvinova, E.I., Chumachenko, S.V., et al. (2012). Qubit model for solving the coverage problem. In: Proc. of IEEE East–West Design and Test Symposium, 2012.
Zorian, Y., & Shoukourian, S. (2013). Test solutions for nanoscale systems-on-chip: Algorithms, methods and test infrastructure. In: Computer Science and Information Technologies (CSIT), 2013.
Zorian, Y., & Shoukourian, S. (2003). Embedded-memory test and repair: Infrastructure IP for SoC yield. IEEE Design & Test of Computers Journal, 20(3), 58–66.
Dugganapally, I.P., Watkins, S.E., Cooper, B. (2014). Multi-level, memory-based logic using CMOS technology. In: 2014 I.E. Computer Society Annual Symposium on VLSI (ISVLSI), 2014.
Yueh, W., Chatterjee, S., Zia, M., Bhunia, S., & Mukhopadhyay, S. (2015). A memory-based logic block with optimized-for-read SRAM for energy-efficient reconfigurable computing fabric. IEEE Transactions on Circuits and Systems II: Express Briefs Journal, 62(6), 593–597.
Matsunaga, S., Hayakawa, J., Ikeda, S., Miura, K., Endoh, T., Ohno, H., Hanyu, T. (2009). MTJ-based nonvolatile logic-in-memory circuit, future prospects and issues. In: Design, Automation & Test in Europe Conference & Exhibition, 2009.
Harada, S., Bai, X., Kameyama, M., Fujioka, Y. (2014). Design of a logic-in-memory multiple-valued reconfigurable VLSI based on a bit-serial packet data transfer scheme. In: IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL), 2014.
Hahanov, V. I., Amer, T. B., Chumachenko, S. V., & Litvinova, E. I. (2015). Qubit technology analysis and diagnosis of digital devices. Electronic Modeling Journal, 37(3), 17–40.
Melikyan, V. S. (2009). A method of eliminating false paths during statistical static analysis of timing delays of digital circuits. Elektronica i svyaz Journal, 2–3(1), 93–96.
Melikyan, V. S., & Vatyan, A. O. (1997). Interconnections model delays for the logic analysis of ECL circuits. SUAB, Computer Engineering, Moscow Journal, 2, 187–194.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Hahanov, I., Amer, T.B., Iemelianov, I., Liubarskyi, M., Hahanov, V. (2018). QuaSim Cloud Service for Quantum Circuit Simulation. In: Cyber Physical Computing for IoT-driven Services . Springer, Cham. https://doi.org/10.1007/978-3-319-54825-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-54825-8_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-54824-1
Online ISBN: 978-3-319-54825-8
eBook Packages: EngineeringEngineering (R0)