Restructuring binary decision diagrams based on functional equivalence

Overview of attention for article published in this source, January 1993

Altmetric Badge

Mentioned by

patent: 2 patents

Readers on

mendeley: 6 Mendeley

So far, Altmetric has seen 2 patents that reference this research output.

Method and apparatus for carrying out circuit simulation

Grant US-6999911-B2

United States of America

Method and system for combinational verification having tight integration of verification…

Grant US-6308299-B1

United States of America

This page shows the most recent patents that mention this research output. Click here to find out how to access more activity.