Back to Results
First PageMeta Content
Applied mathematics / And-inverter graph / Electronic design automation / Subgraph isomorphism problem / Automatic test pattern generation / Graph isomorphism / Theoretical computer science / Mathematics / Diagrams


Incremental Sequential Equivalence Checking and Subgraph Isomorphism Sayak Ray Alan Mishchenko Robert Brayton
Add to Reading List

Document Date: 2009-07-12 14:37:50

Open Document

File Size: 130,52 KB

Share Result on Facebook

Company

IBM / IEEE D&T Comp / Synopsys / Mentor Graphics / ABC / Altera / AIG / Xilinx / Intel / Actel / /

/

Facility

University of California / /

IndustryTerm

approximate matching algorithm / alignability algorithm / correct solution / /

Organization

National Science Foundation / UC Berkeley / University of California / Berkeley / Madre / U.S. Securities and Exchange Commission / Incremental Sequential Equivalence Checking and Subgraph Isomorphism Sayak Ray Alan Mishchenko Robert Brayton Department of EECS / /

Person

J. Baumgartner / V / David S. Johnson / A. Kuehlmann / V / Michael R. Garey / Ray Alan Mishchenko Robert Brayton / H. Mony / V / /

Position

designer / forward / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / /

TVStation

TFO / /

Technology

RAM / An algorithm / proposed algorithm / Industrial strength SAT-based alignability algorithm / approximate matching algorithm / http / simulation / pdf / CAD / /

URL

http /

SocialTag