Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Abadir, Magdy S. Add to Alert Profile  
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  

Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud®
Terms of Use
| Privacy Policy