ะัะพะตะบั VeriGPU ะฝะฐัะตะปะตะฝ ะฝะฐ ัะพะทะดะฐะฝะธะต ะพัะบัััะพะณะพ GPU, ัะฐะทะฒะธะฒะฐะตะผะพะณะพ ะฝะฐ ัะทัะบะต ะพะฟะธัะฐะฝะธั ะธ ะผะพะดะตะปะธัะพะฒะฐะฝะธั ัะปะตะบััะพะฝะฝัั ัะธััะตะผ Verilog. ะะทะฝะฐัะฐะปัะฝะพ ะฟัะพะตะบั ัะฐะทัะฐะฑะฐััะฒะฐะตััั ั ะธัะฟะพะปัะทะพะฒะฐะฝะธะตะผ ัะธะผัะปััะพัะฐ Verilog, ะฝะพ ะฟะพัะปะต ะดะพะฒะตะดะตะฝะธั ะดะพ ะณะพัะพะฒะฝะพััะธ ัะผะพะถะตั ะธัะฟะพะปัะทะพะฒะฐัััั ะดะปั ะฟัะพะธะทะฒะพะดััะฒะฐ ัะตะฐะปัะฝัั ัะธะฟะพะฒ. ะะฐัะฐะฑะพัะบะธ ะฟัะพะตะบัะฐ ัะฐัะฟัะพัััะฐะฝััััั ะฟะพะด ะปะธัะตะฝะทะธะตะน MIT.
VeriGPU ะฟะพะทะธัะธะพะฝะธััะตััั ะบะฐะบ ัะฟะตัะธะฐะปะธะทะธัะพะฒะฐะฝะฝัะน ะฟัะพัะตััะพั (ASIC), ะพะฟัะธะผะธะทะธัะพะฒะฐะฝะฝัะน ะดะปั ััะบะพัะตะฝะธั ะฒััะธัะปะตะฝะธะน, ัะฒัะทะฐะฝะฝัั ั ัะธััะตะผะฐะผะธ ะผะฐัะธะฝะฝะพะณะพ ะพะฑััะตะฝะธั. ะ ะฟะปะฐะฝะฐั ัะฟะพะผะธะฝะฐะตััั ะพะฑะตัะฟะตัะตะฝะธะต ัะพะฒะผะตััะธะผะพััะธ ั ััะตะนะผะฒะพัะบะพะผ ะณะปัะฑะธะฝะฝะพะณะพ ะผะฐัะธะฝะฝะพะณะพ ะพะฑััะตะฝะธั PyTorch ะธ ัะตะฐะปะธะทะฐัะธั ะฒะพะทะผะพะถะฝะพััะธ ัะฐะทัะฐะฑะพัะบะธ ะฟัะธะปะพะถะตะฝะธะน ะดะปั VeriGPU ั ะธัะฟะพะปัะทะพะฒะฐะฝะธะตะผ API HIP (Heterogeneous-Compute Interface). ะ ะดะฐะปัะฝะตะนัะตะผ ะฝะต ะธัะบะปััะฐะตััั ะดะพะฑะฐะฒะปะตะฝะธะต ะฟะพะดะดะตัะถะบะธ ะธ ะดััะณะธั API, ัะฐะบะธั ะบะฐะบ SYCL ะธ NVIDIA CUDA.
GPU ัะฐะทะฒะธะฒะฐะตััั ะฝะฐ ะพัะฝะพะฒะต ะฝะฐะฑะพัะฐ ะบะพะผะฐะฝะด RISC-V, ะฝะพ ะธัะพะณะพะฒะฐั ะฒะฝัััะตะฝะฝัั ะฐัั ะธัะตะบัััะฐ ะฝะฐะฑะพัะฐ ะบะพะผะฐะฝะด GPU ัะปะฐะฑะพ ัะพะฒะผะตััะธะผะฐ ั RISC-V ISA, ัะฐะบ ะบะฐะบ ะฒ ัะธััะฐัะธัั , ะบะพะณะดะฐ ะฟัะพะตะบัะธัะพะฒะฐะฝะธะต GPU ะฝะต ัะบะปะฐะดัะฒะฐะตััั ะฒ ะฟัะตะดััะฐะฒะปะตะฝะธะต RISC-V, ะฝะต ััะฐะฒะธััั ะทะฐะดะฐัะฐ ัะพั ัะฐะฝะตะฝะธะต ัะพะฒะผะตััะธะผะพััะธ ั RISC-V. ะ ะฐะทัะฐะฑะพัะบะฐ ััะพะบััะธัะพะฒะฐะฝะฐ ะฝะฐ ะฒะพะทะผะพะถะฝะพัััั , ะฝะตะพะฑั ะพะดะธะผัั ะดะปั ัะธััะตะผ ะผะฐัะธะฝะฝะพะณะพ ะพะฑััะตะฝะธั, ะฟะพััะพะผั ะดะปั ัะพะบัะฐัะตะฝะธั ัะฐะทะผะตัะฐ ะธ ัะปะพะถะฝะพััะธ ะผะฐััะธัั ัะธะฟะฐ ะธัะฟะพะปัะทัะตััั ัะพะปัะบะพ ัะพัะผะฐั ะฒััะธัะปะตะฝะธะน ั ะฟะปะฐะฒะฐััะตะน ะทะฐะฟััะพะน BF16 ะธ ะดะพัััะฟะฝั ะปะธัั ะฒะพัััะตะฑะพะฒะฐะฝะฝัะต ะดะปั ะผะฐัะธะฝะฝะพะณะพ ะพะฑััะตะฝะธั ะพะฟะตัะฐัะธะธ ั ะฟะปะฐะฒะฐััะตะน ะทะฐะฟััะพะน, ัะฐะบะธะต ะบะฐะบ exp, log, tanh ะธ sqrt.
ะะท ัะถะต ะดะพัััะฟะฝัั ะบะพะผะฟะพะฝะตะฝัะพะฒ ะฝะฐะทัะฒะฐัััั ะบะพะฝััะพะปะปะตั GPU, APU (Accelerated Processing Unit) ะดะปั ัะตะปะพัะธัะปะตะฝะฝัั ะพะฟะตัะฐัะธะน (ยซ+ยป,ยป-ยซ,ยป/ยป,ยป*ยป), ะฑะปะพะบ ะดะปั ะพะฟะตัะฐัะธะน ั ะฟะปะฐะฒะฐััะตะน ะทะฐะฟััะพะน (ยซ+ยป,ยป*ยป) ะธ ะฑะปะพะบ ะพะฑะตัะฟะตัะตะฝะธั ะฒะตัะฒะปะตะฝะธั. ะะปั ัะพะทะดะฐะฝะธั ะฟัะธะปะพะถะตะฝะธะน ะฟัะตะดะปะฐะณะฐะตััั ะฐััะตะผะฑะปะตั ะธ ะฟะพะดะดะตัะถะบะฐ ะบะพะผะฟะธะปััะธะธ ะบะพะดะฐ ะฝะฐ C++ ะฝะฐ ะฑะฐะทะต LLVM. ะะท ะฟะปะฐะฝะธััะตะผัั ะฒะพะทะผะพะถะฝะพััะตะน ะฒัะดะตะปััััั ะฟะฐัะฐะปะปะตะปัะฝะพะต ะฒัะฟะพะปะฝะตะฝะธะต ะธะฝััััะบัะธะน, ะบััะธัะพะฒะฐะฝะธะต ะฟะฐะผััะธ ะดะฐะฝะฝัั ะธ ะธะฝััััะบัะธะน, ะพะฟะตัะฐัะธะธ SIMT (Single instruction multiple thread).
เปเบซเบผเปเบเบเปเปเบกเบนเบ: opennet.ru