VeriGPU рдкреНрд░рдХрд▓реНрдк рд╡реНрд╣реЗрд░рд┐рд▓реЙрдЧ рднрд╛рд╖реЗрдд рдПрдХ рдЦреБрд▓рд╛ GPU рд╡рд┐рдХрд╕рд┐рдд рдХрд░рддреЛ

VeriGPU рдкреНрд░рдХрд▓реНрдкрд╛рдЪрд╛ рдЙрджреНрджреЗрд╢ рдЗрд▓реЗрдХреНрдЯреНрд░реЙрдирд┐рдХ рдкреНрд░рдгрд╛рд▓реАрдЪреЗ рд╡рд░реНрдгрди рдЖрдгрд┐ рдореЙрдбреЗрд▓рд┐рдВрдЧрд╕рд╛рдареА Verilog рднрд╛рд╖реЗрдд рд╡рд┐рдХрд╕рд┐рдд рдХреЗрд▓реЗрд▓рд╛ рдЦреБрд▓рд╛ GPU рддрдпрд╛рд░ рдХрд░рдгреЗ рдЖрд╣реЗ. рдкреНрд░рд╛рд░рдВрднреА, рд╣рд╛ рдкреНрд░рдХрд▓реНрдк рд╡реНрд╣реЗрд░рд┐рд▓реЙрдЧ рд╕рд┐рдореНрдпреБрд▓реЗрдЯрд░ рд╡рд╛рдкрд░реВрди рд╡рд┐рдХрд╕рд┐рдд рдХреЗрд▓рд╛ рдЬрд╛рдд рдЖрд╣реЗ, рдкрд░рдВрддреБ рдПрдХрджрд╛ рдкреВрд░реНрдг рдЭрд╛рд▓реНрдпрд╛рдирдВрддрд░ рддреЛ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдЪрд┐рдкреНрд╕рдЪреНрдпрд╛ рдЙрддреНрдкрд╛рджрдирд╛рд╕рд╛рдареА рд╡рд╛рдкрд░рд▓рд╛ рдЬрд╛рдК рд╢рдХрддреЛ. рдкреНрд░рдХрд▓реНрдкрд╛рдЪреНрдпрд╛ рд╡рд┐рдХрд╛рд╕рд╛рдЪреЗ рд╡рд┐рддрд░рдг MIT рдкрд░рд╡рд╛рдиреНрдпрд╛рдЕрдВрддрд░реНрдЧрдд рдХреЗрд▓реЗ рдЬрд╛рддреЗ.

VeriGPU рд▓рд╛ рдорд╢реАрди рд▓рд░реНрдирд┐рдВрдЧ рд╕рд┐рд╕реНрдЯреАрдорд╢реА рд╕рдВрдмрдВрдзрд┐рдд рдЧрдгрдиреЗрд▓рд╛ рдЧрддреА рджреЗрдгреНрдпрд╛рд╕рд╛рдареА рдСрдкреНрдЯрд┐рдорд╛рдЗрдЭ рдХреЗрд▓реЗрд▓рд╛ ре▓рдкреНрд▓рд┐рдХреЗрд╢рди-рд╡рд┐рд╢рд┐рд╖реНрдЯ рдкреНрд░реЛрд╕реЗрд╕рд░ (ASIC) рдореНрд╣рдгреВрди рд╕реНрдерд┐рдд рдЖрд╣реЗ. рдпреЛрдЬрдирд╛рдВрдордзреНрдпреЗ PyTorch рдбреАрдк рдорд╢реАрди рд▓рд░реНрдирд┐рдВрдЧ рдлреНрд░реЗрдорд╡рд░реНрдХрд╢реА рд╕реБрд╕рдВрдЧрддрддрд╛ рдЖрдгрд┐ HIP (Heterogeneous-Compute Interface) API рд╡рд╛рдкрд░реВрди VeriGPU рд╕рд╛рдареА рдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╡рд┐рдХрд╕рд┐рдд рдХрд░рдгреНрдпрд╛рдЪреА рдХреНрд╖рдорддрд╛ рд╕рдорд╛рд╡рд┐рд╖реНрдЯ рдЖрд╣реЗ. рднрд╡рд┐рд╖реНрдпрд╛рдд, SYCL рдЖрдгрд┐ NVIDIA CUDA рд╕рд╛рд░рдЦреНрдпрд╛ рдЗрддрд░ API рд╕рд╛рдареА рд╕рдорд░реНрдерди рдЬреЛрдбрдгреЗ рд╢рдХреНрдп рдЖрд╣реЗ.

GPU RISC-V рдирд┐рд░реНрджреЗрд╢ рд╕рдВрдЪрд╛рддреВрди рд╡рд┐рдХрд╕рд┐рдд рд╣реЛрддреЛ, рдкрд░рдВрддреБ GPU рд╕реВрдЪрдирд╛ рд╕рдВрдЪрд╛рдЪреА рдкрд░рд┐рдгрд╛рдореА рдЕрдВрддрд░реНрдЧрдд рд░рдЪрдирд╛ RISC-V ISA рд╢реА рдХрдордХреБрд╡рддрдкрдгреЗ рд╕реБрд╕рдВрдЧрдд рдЖрд╣реЗ, рдХрд╛рд░рдг GPU рдбрд┐рдЭрд╛рдЗрди RISC-V рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡рд╛рдордзреНрдпреЗ рдмрд╕рдд рдирд╛рд╣реА рдЕрд╢рд╛ рдкрд░рд┐рд╕реНрдерд┐рддреАрдд RISC-V рд╕реБрд╕рдВрдЧрддрддрд╛ рд░рд╛рдЦрдгреНрдпрд╛рд╕рд╛рдареА рд╣реЗрддреВ рдирд╛рд╣реА. рд╡рд┐рдХрд╛рд╕ рдорд╢реАрди рд▓рд░реНрдирд┐рдВрдЧ рд╕рд┐рд╕реНрдЯрдорд╕рд╛рдареА рдЖрд╡рд╢реНрдпрдХ рдЕрд╕рд▓реЗрд▓реНрдпрд╛ рдХреНрд╖рдорддрд╛рдВрд╡рд░ рдХреЗрдВрджреНрд░рд┐рдд рдЖрд╣реЗ, рддреНрдпрд╛рдореБрд│реЗ рдЪрд┐рдк рдореЕрдЯреНрд░рд┐рдХреНрд╕рдЪрд╛ рдЖрдХрд╛рд░ рдЖрдгрд┐ рдЬрдЯрд┐рд▓рддрд╛ рдХрдореА рдХрд░рдгреНрдпрд╛рд╕рд╛рдареА, рддреЗ рдлрдХреНрдд BF16 рдлреНрд▓реЛрдЯрд┐рдВрдЧ рдкреЙрдЗрдВрдЯ рдлреЙрд░рдореЕрдЯ рд╡рд╛рдкрд░рддреЗ рдЖрдгрд┐ рдорд╢реАрди рд▓рд░реНрдирд┐рдВрдЧрд╕рд╛рдареА рдлрдХреНрдд рдлреНрд▓реЛрдЯрд┐рдВрдЧ рдкреЙрдЗрдВрдЯ рдСрдкрд░реЗрд╢рдиреНрд╕ рд╡рд╛рдкрд░рддреЗ, рдЬрд╕реЗ рдХреА рдПрдХреНрд╕рдк, рд▓реЙрдЧ, tanh рдЖрдгрд┐ sqrt, рдЙрдкрд▓рдмреНрдз рдЖрд╣реЗрдд.

рдЖрдзреАрдкрд╛рд╕реВрди рдЙрдкрд▓рдмреНрдз рдЕрд╕рд▓реЗрд▓реНрдпрд╛ рдШрдЯрдХрд╛рдВрдкреИрдХреА GPU рдХрдВрдЯреНрд░реЛрд▓рд░, APU (рдПрдХреНрд╕реЗрд▓рд░реЗрдЯреЗрдб рдкреНрд░реЛрд╕реЗрд╕рд┐рдВрдЧ рдпреБрдирд┐рдЯ) рдкреВрд░реНрдгрд╛рдВрдХ рдСрдкрд░реЗрд╢рдиреНрд╕рд╕рд╛рдареА (тАЬ+тАЭ,тАЭ-тАЬ,тАЭ/,тАЭ*тАЭ), рдЖрдгрд┐ рдлреНрд▓реЛрдЯрд┐рдВрдЧ рдкреЙрдЗрдВрдЯ рдСрдкрд░реЗрд╢рдиреНрд╕рд╕рд╛рдареА рдпреБрдирд┐рдЯ (тАЬ+,тАЭ). ,тАЭ*тАЭ) рдЖрдгрд┐ рдмреНрд░рдБрдЪрд┐рдВрдЧ рдмреНрд▓реЙрдХ. рдНрдкреНрд▓рд┐рдХреЗрд╢рдиреНрд╕ рддрдпрд╛рд░ рдХрд░рдгреНрдпрд╛рд╕рд╛рдареА, LLVM рд╡рд░ рдЖрдзрд╛рд░рд┐рдд C++ рдХреЛрдб рд╕рдВрдХрд▓рд┐рдд рдХрд░рдгреНрдпрд╛рд╕рд╛рдареА рдЕрд╕реЗрдВрдмрд▓рд░ рдЖрдгрд┐ рд╕рдкреЛрд░реНрдЯ рджрд┐рд▓рд╛ рдЬрд╛рддреЛ. рдирд┐рдпреЛрдЬрд┐рдд рдХреНрд╖рдорддрд╛рдВрдордзреНрдпреЗ, рдирд┐рд░реНрджреЗрд╢рд╛рдВрдЪреА рд╕рдорд╛рдВрддрд░ рдЕрдВрдорд▓рдмрдЬрд╛рд╡рдгреА, рдбреЗрдЯрд╛ рдЖрдгрд┐ рд╕реВрдЪрдирд╛ рдореЗрдорд░реА рдХреЕрд╢рд┐рдВрдЧ рдЖрдгрд┐ SIMT (рд╕рд┐рдВрдЧрд▓ рдЗрдВрд╕реНрдЯреНрд░рдХреНрд╢рди рдорд▓реНрдЯрд┐рдкрд▓ рдереНрд░реЗрдб) рдСрдкрд░реЗрд╢рдиреНрд╕ рд╣рд╛рдпрд▓рд╛рдЗрдЯ рдХреЗрд▓реНрдпрд╛ рдЖрд╣реЗрдд.

VeriGPU рдкреНрд░рдХрд▓реНрдк рд╡реНрд╣реЗрд░рд┐рд▓реЙрдЧ рднрд╛рд╖реЗрдд рдПрдХ рдЦреБрд▓рд╛ GPU рд╡рд┐рдХрд╕рд┐рдд рдХрд░рддреЛ


рд╕реНрддреНрд░реЛрдд: opennet.ru

рдПрдХ рдЯрд┐рдкреНрдкрдгреА рдЬреЛрдбрд╛