Abadir, Magdy S.
All Media Types
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