Abstract: Recently, semi-tensor product (STP)-based simulators have shown promise by representing logic functions as matrices and performing Boolean operations via matrix multiplication. However, STP ...