本公开涉及用于验证神经形态硬件的水平和垂直断言。提供了神经网络系统的模拟和验证。在不同实施例中，读取人工神经网络的描述。构建有向图，该有向图包括多条边和多个节点，所述多条边中的每条边对应于一队列并且所述多个节点中的每个节点对应于所述神经网络系统的一计算功能。根据神经网络的描述，在多个时间步骤上更新图状态，该图状态由多个队列中的每个队列的内容来定义。在所述多个时间步骤中的每个时间步骤处测试多个断言中的每个断言，所述多个断言中的每个断言是图状态的子集的函数。针对所述多个断言之一的每次违反，指示神经网络系统的无效性。