Sciweavers

120 search results - page 9 / 24
» Functions Definable by Arithmetic Circuits
Sort
View
ASPDAC
2008
ACM
174views Hardware» more  ASPDAC 2008»
13 years 9 months ago
Chebyshev Affine Arithmetic based parametric yield prediction under limited descriptions of uncertainty
In modern circuit design, it is difficult to provide reliable parametric yield prediction since the real distribution of process data is hard to measure. Most existing approaches ...
Jin Sun, Yue Huang, Jun Li, Janet Meiling Wang
JC
2008
92views more  JC 2008»
13 years 7 months ago
Characterizing Valiant's algebraic complexity classes
Valiant introduced 20 years ago an algebraic complexity theory to study the complexity of polynomial families. The basic computation model used is the arithmetic circuit, which ma...
Guillaume Malod, Natacha Portier
ASPDAC
2004
ACM
105views Hardware» more  ASPDAC 2004»
14 years 25 days ago
Improved symbolic simulation by functional-space decomposition
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...
Tao Feng, Li-C. Wang, Kwang-Ting Cheng
DAC
1996
ACM
13 years 11 months ago
Bit-Level Analysis of an SRT Divider Circuit
Abstract-- It is impractical to verify multiplier or divider circuits entirely at the bit-level using ordered Binary Decision Diagrams (BDDs), because the BDD representations for t...
Randal E. Bryant
RC
2006
69views more  RC 2006»
13 years 7 months ago
The Set of Hausdorff Continuous Functions - The Largest Linear Space of Interval Functions
Hausdorff continuous (H-continuous) functions are special interval-valued functions which are commonly used in practice, e.g. histograms are such functions. However, in order to av...
Roumen Anguelov, Svetoslav Markov, Blagovest Sendo...