Reducing BDD Size by Exploiting Structural Connectivity

Ronnie L. Wright, Michael A. Shanblatt. Reducing BDD Size by Exploiting Structural Connectivity. In 9th Great Lakes Symposium on VLSI (GLS-VLSI 99), 4-6 March 1999, Ann Arbor, MI, USA. pages 132-135, IEEE Computer Society, 1999. [doi]

Authors

Ronnie L. Wright

This author has not been identified. Look up 'Ronnie L. Wright' in Google

Michael A. Shanblatt

This author has not been identified. Look up 'Michael A. Shanblatt' in Google