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
Search
  Abadir, Magdy S. Add to Alert Profile  
 
Options:
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 decision diagram (...
...
Jul 1 1998  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy