norse.torch.functional.logical

norse.torch.functional.logical

Functions

logical_and(x, y)

Computes a logical and provided x and y are bitvectors.

logical_or(x, y)

Computes a logical or provided x and y are bitvectors.

logical_xor(x, y)

Computes a logical xor provided x and y are bitvectors.

muller_c(y_prev, x_1, x_2)

Computes the muller-c element next state provided x_1 and x_2 are bitvectors and y_prev is the previous state.

posedge_detector(z, z_prev)

Determines whether a transition from 0 to 1 has occured providing that z and z_prev are bitvectors