公开(公告)号：GB2604963A

公开(公告)日：2022-09-21

申请号：GB202114617

申请日：2021-10-13

Applicant: IBM

Inventor： ALEXANDER ANDREOPOULOS ,  DHARMENDRA S MODHA ,  CARMELO DI NOLFO ,  MYRON D FLICKNER ,  ANDREW STEPHEN CASSIDY ,  BRIAN SEISHO TABA ,  PALLAB DATTA ,  RATHINAKUMAR APPUSWAMY ,  JUN SAWADA

IPC: G06N3/063 ,  G06F30/3308 ,  G06N3/04

Abstract: Simulation and validation of neural network systems is provided. In various embodiments, a description of an artificial neural network is read. A directed graph is constructed comprising a plurality of edges and a plurality of nodes, each of the plurality of edges corresponding to a queue and each of the plurality of nodes corresponding to a computing function of the neural network system. A graph state is updated over a plurality of time steps according to the description of the neural network, the graph state being defined by the contents of each of the plurality of queues. Each of a plurality of assertions is tested at each of the plurality of time steps, each of the plurality of assertions being a function of a subset of the graph state. Invalidity of the neural network system is indicated for each violation of one of the plurality of assertions.