Search for Author All Reviews
	Abadir, Magdy S.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions Jain J., Bitner J., Abadir M., Abraham J., Fussell D. IEEE Transactions on Computers 46(11): 1230-1245, 1997.  Type: Article Verifying the circuit implementation of Boolean functions against their abstract specifications is a fundamental and difficult problem in circuit design. This paper presents a graph-theoretical representation, the indexed binary decisi...... Jul 1 1998
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud® Terms of Use | Privacy Policy