Data structures for SIMD logic simulation