MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jawahar Jain" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Sampling schemes for computing OBDD variable orderings
by Jawahar Jain — 1998 — In Int'l Conf. on CAD
…Sampling Schemes for Computing OBDD Variable Orderings Jawahar Jain 1 Abstract: We suggest some…
Cited by 15 (1 self) – Add To MetaCart

Practical Use of Sequential ATPG for Model Checking: Going the Extra Mile Does Pay Off
by Michael Hsiao, Jawahar Jain — 2001 — Proc. High-Level Design Validation and Test Workshop
… Hsiao † and Jawahar Jain ‡ † Bradley Department of Electrical and Computer Engineering, Virginia Tech…
Cited by 5 (0 self) – Add To MetaCart

Formal Verification of Combinational Circuits
by Jawahar Jain, Amit Narayan, M. Fujita, A. Sangiovanni-vincentelli — 1997 — In International Conference on VLSI Design
…Formal Verification of Combinational Circuits Jawahar Jain 1 Amit Narayan 2 M. Fujita 1 A…
Cited by 7 (0 self) – Add To MetaCart

Efficient Variable Ordering Using aBDD Based Sampling
by Yuan Lu, Jawahar Jain, Edmund Clarke, Masahiro Fujita — 2000 — In Proceedings of the 37th Conference on Design Automation
…Efficient Variable Ordering Using aBDD Based Sampling Yuan Lu † , Jawahar Jain ‡ , Edmund Clarke…
Cited by 2 (0 self) – Add To MetaCart

Improving BDD variable ordering using abstract BDDs and sampling
by Yuan Lu, Jawahar Jain, Edmund Clarke, Masahiro Fujita — 1999 — In Proceedings of Intl. Workshop of High Level Deisgn, Verification and Testing
…Improving BDD Variable Ordering Using Abstract BDDs and Sampling Yuan Lu † , Jawahar Jain…
Cited by 1 (1 self) – Add To MetaCart

Improved Symbolic Verification Using Partitioning Techniques
by Subramanian Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain — 2003 — In Proc. of CHARME 2003
… 1,3 , Christian Stangier 1 , Amit Narayan 1 , and Jawahar Jain 1 1 Fujitsu Laboratories of America…
Cited by 11 (7 self) – Add To MetaCart

Efficient Variable Ordering and Partial Representation Algorithms
by Jawahar Jain, Dinos Moundanos, Jim Bitner, J. A. Abraham, D. S. Fussell, D. E. Ross — 1995 — in Proceedings of the 8th International Conference on VLSI Design, New Delhi India
… Efficient Variable Ordering and Partial Representation Algorithms Jawahar Jain Fujitsu…
Cited by 3 (0 self) – Add To MetaCart

An efficient filter-based approach for combinational verification
by Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Jacob A. Abraham — 1999 — Fujitsu Scientific and Technical Journal
…AN EFFICIENT FILTER-BASED APPROACH FOR COMBINATIONAL VERIFICATION Rajarshi Mukherjee 1 Jawahar…
Cited by 5 (2 self) – Add To MetaCart

A New Scheme to Compute Variable Orders for Binary Decision Diagrams
by Jawahar Jain, James Bitner, Dinos Moundanos, Jacob A. Abraham, Donald S. Fussell — 1994
…A new scheme to compute variable orders for binary decision diagrams Jawahar Jain James Bitner…
Cited by 1 (1 self) – Add To MetaCart

Predictive reachability using a sample-based approach
by Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David Dill, E. Allen Emerson — 2005 — In Proc. of Correct Hardware Design and Verification Methods (CHARME’05), volume 3725 of LNCS
…Predictive Reachability Using a Sample-Based Approach Debashis Sahoo 1 , Jawahar Jain 3…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB