Polynomial methods for component matching and verification

Component reuse requires designers to determine whether or not an existing component implements desired functionality. If a common structure is used to represent components that are described at multiple levels of abstraction, comparisons between circuit specifications and a library of potential imp...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design S. 678 - 685
Hauptverfasser: Smith, James, De Micheli, Giovanni
Format: Tagungsbericht Journal Article
Sprache:Englisch
Veröffentlicht: New York, NY, USA ACM 1998
IEEE
Schriftenreihe:ACM Conferences
Schlagworte:
Applied computing > Physical sciences and engineering > Engineering
Arithmetic
Automation
Circuits
Discrete cosine transforms
Encoding
Frequency
Hardware > Robustness
Laboratories
Libraries
Mathematics of computing > Mathematical analysis > Nonlinear equations
Mathematics of computing > Mathematical analysis > Numerical analysis > Computations on polynomials
Polynomials
Quantization
ISBN:1581130082, 9781581130089
ISSN:1092-3152
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Component reuse requires designers to determine whether or not an existing component implements desired functionality. If a common structure is used to represent components that are described at multiple levels of abstraction, comparisons between circuit specifications and a library of potential implementations can be performed quickly. A mechanism is presented for compactly specifying circuit functionality as polynomials at the word level. Polynomials can be used to represent circuits that are described at the bit level or arithmetically. Furthermore, in representing components as polynomials, differences in precision between potential implementations can be detected and quantified.
Bibliographie:SourceType-Scholarly Journals-2
ObjectType-Feature-2
ObjectType-Conference Paper-1
content type line 23
SourceType-Conference Papers & Proceedings-1
ObjectType-Article-3
ISBN:1581130082
9781581130089
ISSN:1092-3152
DOI:10.1145/288548.289115