Tsai Y.-HJiang J.-H.RJhang C.-S.JIE-HONG JIANG2022-04-252022-04-2520210738100Xhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85119437075&doi=10.1109%2fDAC18074.2021.9586191&partnerID=40&md5=3f84ac46a122f0842f6210c4a697a95bhttps://scholars.lib.ntu.edu.tw/handle/123456789/607211Recent advancements in quantum technologies shed light on viable quantum computation in near future. Quantum circuit simulation plays a key role in the toolchain of quantum hardware and software development. Due to the enormous Hilbert space of quantum states, simulating quantum circuits with classical computers is notoriously challenging. This work enhances quantum circuit simulation in two dimensions: accuracy (by representing complex numbers algebraically) and scalability (by bit-slicing number representation and achieving matrix-vector multiplication with symbolic Boolean manipulation). Experiments demonstrate the superiority of our method to the state-of-the-art tools over various quantum circuits with up to tens of thousands of qubits. ? 2021 IEEE.Computer softwareHilbert spacesQuantum computersQuantum opticsSoftware designTiming circuitsVector spacesBoolean manipulationComplex numberDimension accuracyMatrix vector multiplicationNumber representationQuantum circuitQuantum stateQuantum technologiesScaling-upTwo-dimensionsCircuit simulationconference paper10.1109/DAC18074.2021.95861912-s2.0-85119437075