QuaSim — Cloud service for digital circuits simulation

A cloud service QuaSim designed for simulation and verification of digital systems based on transactions between the addressable memory components to implement any functionality is proposed. A new approach to the synthesis and analysis of digital systems using vector form (quantum) for defining combinational and sequential structures to implement them in the memory elements is described; it is substantially different from the classical design theory of discrete devices based on the truth tables of the components. Quantum or qubit data structures are used [1-5] for the implementation of computational processes in order to improve the performance of digital systems analysis and reduce memory volume through unary coding the states of input, internal and output variables, and also the implementation of qubit vectors in the FPGA memory elements, which realize combinational and sequential primitives. Implementation of quantum memory-based-only models for describing digital components in the practice of designing computer systems directly affects the increase in product yield, allows improving the reliability of computer products, reducing the cost of designing and manufacturing, and providing standalone human-free remote & online repair.