公开(公告)号：US11971823B2

公开(公告)日：2024-04-30

申请号：US17317339

申请日：2021-05-11

Applicant: Samsung Electronics Co., Ltd

Inventor： Yoojin Kim ,  Channoh Kim ,  Hyun Sun Park ,  Sehwan Lee ,  Jun-Woo Jang

IPC: G06F12/0862 ,  G06F1/04 ,  G06F12/0804 ,  G06F17/15 ,  G06F17/16 ,  G06N3/04 ,  G06N3/045 ,  G06N3/063 ,  G06N3/08

CPC classification number: G06F12/0862 ,  G06F12/0804 ,  G06F1/04 ,  G06F2212/1021 ,  G06N3/04

Abstract: A computing method and device with data sharing are provided. The method includes loading, by a loader, input data of an input feature map stored in a memory in loading units according to a loading order, storing, by a buffer controller, the loaded input data in a reuse buffer of an address rotationally allocated according to the loading order, and transmitting, by each of a plurality of senders, to an executer respective input data corresponding to each output data of respective convolution operations among the input data stored in the reuse buffer, wherein portions of the transmitted respective input data overlap other.

公开(公告)号：US12175177B2

公开(公告)日：2024-12-24

申请号：US16694498

申请日：2019-11-25

Applicant: SAMSUNG ELECTRONICS CO., LTD.

Inventor： Jun Haeng Lee ,  Youngmin Oh ,  Hyun Sun Park ,  Yongwoo Lee ,  Jaecheol Lee ,  Hyojin Choi ,  Younsik Park ,  Seungju Kim ,  Changwook Jeong ,  In Huh

IPC: G06F30/33 ,  G06F30/27 ,  G06N20/00

Abstract: A system verification method includes generating a first verification vector as a result of a first action of an agent, the first verification vector referring to an observation corresponding to at least one state already covered, from among states of elements of a target system, identifying a first coverage corresponding to at least one state covered by the first verification vector, from among the states of the elements, updating the observation by reflecting the first coverage in the observation, and generating a second verification vector through a second action of the agent, the second verification vector referring to the updated observation.