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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design s. 678 - 685
Hlavní autoři: Smith, James, De Micheli, Giovanni
Médium: Konferenční příspěvek Journal Article
Jazyk:angličtina
Vydáno: New York, NY, USA ACM 1998
IEEE
Edice:ACM Conferences
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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