6. QuaSim Cloud Service for Quantum Circuit Simulation

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.