| 研究課題/領域番号 |
23K19979
|
|---|
| 研究種目 |
研究活動スタート支援
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
1001:情報科学、情報工学およびその関連分野
|
|---|
| 研究機関 | 慶應義塾大学 |
|---|
研究代表者 |
魏 凱傑 慶應義塾大学, 理工学研究科(矢上), 特任助教 (90983867)
|
|---|
| 研究期間 (年度) |
2023-08-31 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
2,470千円 (直接経費: 1,900千円、間接経費: 570千円)
2024年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2023年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | state vector, / HLS, / Qulacs, / Serial ATA, / FPGA, / quantum computer, / storage system, / simulation / FPGA / Quantum simulation / SATA / HLS / Qulacs |
|---|
| 研究開始時の研究の概要 |
Large-scale state vector simulator is hard to handle mainly works on HPCs. An effective quantum computer simulator using edge device is necessary for quantum’s research. Trefoil design is to solve the bottleneck problem of the memory bomb, and quantum gate design boosts the simulation's performance.
|
| 研究実績の概要 |
In Y2023, the applicant implements the initial design of Trefoil-Qulacs. First, I finished the high-level synthesis (HLS) designs of the Hadamard, Pauli-Z, Phase, Controlled-NOT, and Unitary Matrix using Vitis HLS 2022.2 based on Qulacs. In this stage, I emphasize the algorithm optimization using HLS techniques. To enhance the robustness of the Trefoil-Qulacs, I redesigned the referred quantum gate algorithm, which considers the SATA disk characteristics with the FPGA platform. The Trefoil can construct any quantum circuit with the combination of designed IPs.
Furthermore, I verified the designed IPs on the Trefoil storage subsystem after the overall system's implementation using Vivado 2022.2. Since one IP instance has to correspond to a SATA disk, 32 IPs should be involved in the target design. There is a great challenge to on-chip memory resources. According to the evaluations using the physical board, the system can realize 43-qubit quantum circuit simulation using 32 8TB SATA disks, which can only achieved by supercomputers till now. However, the system needs more long-term simulations than supercomputer simulations due to the inefficient communication between SATA disks and FPGA. During the preparation for demonstrations at academic conferences (FPT, MCSoC) and Technique EXPO, I created two more IPs in the substitution of LiteX proposed in the research plan, which enables a more friendly environment for quantum circuit simulation using display. Regarding these two IPs, one is for communication with SATA disks, and the other is in the place of the CPU using Rasberry Pi.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
According to the research plan, the Trefoil storage subsystem was initially devised to function on XILINX Ultrascale XKU060 and establish a connection with 16 SATA disks. However, after its implementation, I realized that the system design needed to be more stable to handle the given workload, and the on-chip resources needed to be improved. In light of this, I have changed the platform, and after a thorough analysis, the FPGA chip was upgraded to XILINX Ultrscale+ XCKU15P. The new platform can connect with 32 SATA disks and has undergone rigorous testing to ensure its robustness and stability, thus ensuring optimal efficiency.
Between July and October, I redesign the IPs by customizing the on-chip resources. To ensure the system was reliable and efficient, I moved away from relying solely on simulation results. Instead, I began implementing experiments on the actual platform. After finishing the initial implementation of the whole system on the new Trefoil storage subsystem, I presented several demonstrations at academic conferences, including FPT and MCSoC, to demonstrate the system's capabilities. During a press statement in December, I improved the system's reliability and provided a more user-friendly environment that enables easy access to the system. To effectively control and confirm the functionality of the Trefoil storage subsystem, a Raspberry Pi is connected to the FPGA's GPIO working as CPU part. Additionally, the proposed system can connect with a portable display. Users can interactively visualize the simulation results with a Python-based graphical interface.
|
| 今後の研究の推進方策 |
According to my two-year research plan, I put great effort into system optimization and research publication in Y2024. According to our analysis of the system time consumption, the data communication between SATA disks and FPGA dominates the simulation. Based on the current system's design. I have to exploit the possibility of pipelining the process of reading and computation to boost the target system's performance. Thus, I will spend three months (April~June) optimizing the design instead of focusing on the computation part. However, as described previously, each designed IP has to correspond to a SATA disk. Thus, 32 Qulacs IPs are involved in the system design. I have to control the resource utilization of each IP around 3% with ensuring the construction of a full-geared system connecting with 32 SATA disks, which challenges the limited on-chip resource. A dedicated resource allocation is necessary for Trefoil-Qulacs. I target a fully optimized system whose time consumption only concerns the communication between SATA disks and FPGA. On the other hand, regarding the system evaluation and verification, I will check the simulation results from the GUI interface created in Y2023 and the simulation in Vitis HLS 2022.2.2.
As the final step, I will summarize the system in a journal paper, including detailed system designs and performance evaluations. Unlike the original proposal, the journal paper focuses on implementing the Qulacs-Trefoil design with the Trefoil storage subsystem connecting with 32 SATA disks. I will further improve the evaluation results during this process.
|
