High Performance BDD Package Based on Exploiting Memory Hierarchy