Welcome to IEEE Xplore 2.0: Equivalence Checking Using Cuts And Heaps

Cart | Sitemap | Help

Abstract


	BROWSE	SEARCH	IEEE XPLORE GUIDE	SUPPORT

View TOC

Equivalence Checking Using Cuts And Heaps
Kuehlmann, A. Krohm, F.
IBM Thomas J. Watson Research Center;

This paper appears in: Design Automation Conference, 1997. Proceedings of the 34th
Publication Date: 9-13 Jun 1997
On page(s): 263-268
ISSN: 0738-100X
ISBN: 0-7803-4093-0
Current Version Published: 2002-08-06

Abstract
Not Available

Index Terms
Available to subscribers and IEEE members.

References
Available to subscribers and IEEE members.

Citing Documents
Available to subscribers and IEEE members.

You are not logged in.

Guests may access Abstract records free of charge.

Username

Password

» Forgot your password?

Please remember to log out when you have finished your session.

You must log in to access:
• Advanced or Author Search
• CrossRef Search
• AbstractPlus Records
• Full Text PDF
• Full Text HTML

Access this document

Full Text: PDF (616 KB)

» Buy this document now

» Learn more about

subscription options

» Learn more about

purchasing articles

and standards

» Learn More

Download this citation
Available to subscribers and IEEE members.

View TOC | Back to top