Searching for "Efficient equivalence checking with partitions and hierarchical cut-points." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Efficient equivalence checking with partitions and hierarchical cut-points
by Demosthenes Anastasakis, Synopsys Inc — 2004 — In DAC ’04: Proceedings of the 41st annual conference on Design automation
…Efficient Equivalence Checking with Partitions and Hierarchical Cut-points Demosthenes Anastasakis…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 1.

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