Inproceedings,
High Performance BDD Package By Exploiting Memory Hiercharchy.
J. Sanghavi, R. Ranjan, R. Brayton, and A. Sangiovanni-Vincentelli.DAC, page 635-640. ACM Press, (1996)
Meta data
- BibTeX key
- conf/dac/SanghaviRBS96
- entry type
- inproceedings
- booktitle
- DAC
- year
- 1996
- pages
- 635-640
- publisher
- ACM Press
- crossref
- conf/dac/1996
- ee
- https://doi.org/10.1145/240518.240638
- isbn
- 0-89791-779-0
- url
- http://dblp.uni-trier.de/db/conf/dac/dac96.html#SanghaviRBS96
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dac/SanghaviRBS96
%A Sanghavi, Jagesh V.
%A Ranjan, Rajeev K.
%A Brayton, Robert K.
%A Sangiovanni-Vincentelli, Alberto L.
%B DAC
%D 1996
%E Pennino, Thomas
%E Yoffa, Ellen J.
%I ACM Press
%K dblp
%P 635-640
%T High Performance BDD Package By Exploiting Memory Hiercharchy.
%U http://dblp.uni-trier.de/db/conf/dac/dac96.html#SanghaviRBS96
%@ 0-89791-779-0
@inproceedings{conf/dac/SanghaviRBS96,
added-at = {2019-05-27T00:00:00.000+0200},
author = {Sanghavi, Jagesh V. and Ranjan, Rajeev K. and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.},
biburl = {https://www.bibsonomy.org/bibtex/2a72078a9f9129dd6d40515ad06004e89/dblp},
booktitle = {DAC},
crossref = {conf/dac/1996},
editor = {Pennino, Thomas and Yoffa, Ellen J.},
ee = {https://doi.org/10.1145/240518.240638},
interhash = {44edae69f6e4ffcfcf99c163b8dd5fb2},
intrahash = {a72078a9f9129dd6d40515ad06004e89},
isbn = {0-89791-779-0},
keywords = {dblp},
pages = {635-640},
publisher = {ACM Press},
timestamp = {2019-05-28T11:41:51.000+0200},
title = {High Performance BDD Package By Exploiting Memory Hiercharchy.},
url = {http://dblp.uni-trier.de/db/conf/dac/dac96.html#SanghaviRBS96},
year = 1996
}