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