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

Full description

Saved in:
Bibliographic Details
Published in:Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design pp. 678 - 685
Main Authors: Smith, James, De Micheli, Giovanni
Format: Conference Proceeding Journal Article
Language:English
Published: New York, NY, USA ACM 1998
IEEE
Series:ACM Conferences
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography: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