J
Jagesh V. Sanghavi
Researcher at University of California, Berkeley
Publications - 11
Citations - 389
Jagesh V. Sanghavi is an academic researcher from University of California, Berkeley. The author has contributed to research in topics: Cover (topology) & Set (abstract data type). The author has an hindex of 6, co-authored 11 publications receiving 374 citations.
Papers
More filters
Proceedings ArticleDOI
ESPRESSO-SIGNATURE: A New Exact Minimizer for Logic Functions
TL;DR: A new algorithm for exact two-level logic optimization which radically improves the Quine-McCluskey (QM) procedure and improves on the runtime and memory usage of ESPRESSO-EXACT by average factors of 1.78 and 1.19.
Journal ArticleDOI
ESPRESSO-SIGNATURE: a new exact minimizer for logic functions
TL;DR: An algorithm for exact two-level logic optimization that radically improves the Quine-McCluskey (QM) procedure is presented and improves on the runtime and memory usage of ESPRESSO-EXACT by average factors of 1.78 and 1.19.
Proceedings ArticleDOI
High performance BDD package by exploiting memory hierarchy
TL;DR: A high performance BDD package that enables manipulation of very large BDDs by using an iterative breadth-first technique directed towards localizing the memory accesses to exploit the memory system hierarchy is presented.
Proceedings ArticleDOI
Binary decision diagrams on network of workstations
TL;DR: Algorithms for manipulation of very large Binary Decision Diagrams (BDDs) on a network of workstations (NOW) are presented to demonstrate the capability and point towards the potential impact for manipulating very large BDDs.
Book ChapterDOI
A New Exact Minimizer for Two-Level Logic Synthesis
TL;DR: A new algorithm for exact two-level logic optimization is presented, which differs from the classical approach; rather than generating the set of all prime implicants of a function, and then deriving a covering problem, it is derived directly and implicitly, and generated only those primes involved in the covering problem.