Jagesh V. Sanghavi, Rajeev K. Ranjan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
High Performance BDD Package By Exploiting Memory Hiercharchy
DAC, 1996.
@inproceedings{DAC-1996-SanghaviRBS,
author = "Jagesh V. Sanghavi and Rajeev K. Ranjan and Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli",
booktitle = "{Proceedings of the 33rd Design Automation Conference}",
doi = "10.1145/240518.240638",
isbn = "0-89791-779-0",
pages = "635--640",
publisher = "{ACM Press}",
title = "{High Performance BDD Package By Exploiting Memory Hiercharchy}",
year = 1996,
}