Some embodiments use one or more FPGAs and external memories associated with the
FPGAs to implement large, hash-addressable tables for a data plane circuit. These …

Described herein are methods, network devices, systems, and computer-readable media
that provide a technical solution for runtime monitoring and visualization of intent-based …

A network change verification (NCV) system is disclosed for checking whether a proposed
configuration change on a network alters the way that the network controls recently …

US20230019064A1 - Methods and systems for resolving dependencies of a data center
model - Google Patents US20230019064A1 - Methods and systems for resolving …

Some embodiments provide novel circuits for augmenting the functionality of a data plane
circuit of a forwarding element with one or more field programmable circuits and external …

A method includes obtaining a stream of consecutive network configuration snapshots each
including network configuration information. The method also includes determining that first …

A method includes receiving a plurality of network configuration snapshots for a network and
determining whether a first data plane model protocol of a first snapshot is the same as a …

Some embodiments provide novel circuits for recording data messages received by a data
plane circuit of a forwarding element in an external memory outside of the data plane circuit …

Methods and systems for network verification are described. An input binary decision
diagram (BDD) is defined to represent an input header space to query for a network property …

An example method of packet forwarding for a packet set in a network device includes:
selecting a first bit pattern of multiple adjacent bits from a bit string that represents an input …