Polynomial methods for allocating complex components

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 1999, Pages 217-222

  Smith, James ^a   De Micheli, Giovanni ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIT-LEVEL DESCRIPTION; COMPLEX COMPONENTS; NONPOLYNOMIAL FUNCTIONS; POLYNOMIAL METHODS; POLYNOMIAL MODELS; SEQUENTIAL ELEMENTS; WORD-LEVEL POLYNOMIAL;

EXHIBITIONS; IIR FILTERS; SPECIFICATIONS;

POLYNOMIALS;

EID: 84893587965     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.1999.761125     Document Type: Conference Paper

References (9)

1. [SmDe98] J. Smith and G. De Micheli, "Polynomial Methods for Component Matching and Verification", Proceedings of the ACM/ IEEE International Conference on Computer Aided Design, 1998. Prior to ICCAD 98, this paper can be found on the web: http:// aglaia.stanford.edu/SmDe98.html.
2. [Br86] R. Bryant "Graph Based Algorithms for Boolean Function Manipulation", IEEE Transactions on Computers, C-35(8), 1986.
3. [BrCh95] R. Bryant and Y.A. Chen, "Verification of Arithmetic Circuits with Binary Moment Diagrams", Proceedings of the 32nd ACM/ IEEE Design Automation Conference, p. 535-541, 1995.
4. [ChBr96] Y.A. Chen and R. Bryant, "ACV: An Arithmetic Circuit Verifier", Proceedings of the ACM/IEEE International Conference on Computer Aided Design, p. 361-365, 1996.
5. [ClFu95] E.M. Clarke, M. Fujita, and X. Zhao, "Hybrid Decision Diagrams", Proceedings of the ACM/IEEE International Conference on Computer Aided Design, p. 159-163, 1995.
6. [ClFu93] E.M. Clarke, K. McMillan, X. Zhao, M. Fujita, and J. Yang, "Spectral transformations for Large Boolean Functions with Applications to Technology Mapping", Proceedings of the 30th ACM/IEEE Design Automation Conference, IEEE Computer Society Press, 1993.
7. [ChBr96] Y.A. Chen and R. Bryant, "PHDD: An Efficient Graph Representation for Floating Point Circuit Verification", Proceedings of the ACM/IEEE International Conference on Computer Aided Design, p. 2-7, 1997.
8. [Mi96] S. Minato, "Implicit manipulation of Polynomials Using Zero-Suppressed BDDs", 1996.
9. [RaMc98] K. Ravi, K. McMillan, T. Shiple, F. Somenzi, "Approximation and Decomposition of Binary Decision Diagrams", Proceedings of the 35th ACM/IEEE Design Automation Conference, IEEE Computer Society Press, 1998.