A BDD Package For A Massively Parallel SIMD Architecture | IEEE Conference Publication | IEEE Xplore