Sciweavers

3457 search results - page 113 / 692
» A Symbol Is Not a Symbol
Sort
View
100
Voted
ICC
2000
IEEE
114views Communications» more  ICC 2000»
15 years 5 months ago
On the New CCSDS Standard for Space Telemetry: Turbo Codes and Symbol Synchronization
A turbo code has been included in the new CCSDS channel coding standard for space telemetry. Many future missions with critical link budgets will benefit of its large coding gain. ...
Franco Chiaraluce, Ennio Gambi, Roberto Garello, P...
ISCA
2000
IEEE
111views Hardware» more  ISCA 2000»
15 years 5 months ago
HLS: combining statistical and symbolic simulation to guide microprocessor designs
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...
Mark Oskin, Frederic T. Chong, Matthew K. Farrens
126
Voted
DAC
1999
ACM
15 years 5 months ago
Circuit Complexity Reduction for Symbolic Analysis of Analog Integrated Circuits
This paper presents a method to reduce the complexity of a linear or linearized (small-signal) analog circuit. The reduction technique, based on quality-error ranking, can be used...
Walter Daems, Georges G. E. Gielen, Willy M. C. Sa...
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
15 years 5 months ago
Symbolic functional and timing verification of transistor-level circuits
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
Clayton B. McDonald, Randal E. Bryant
91
Voted
DATE
1998
IEEE
82views Hardware» more  DATE 1998»
15 years 5 months ago
Exploiting Symbolic Techniques for Partial Scan Flip Flop Selection
Partial Scan techniques have been widely accepted as an effective solution to improve sequential ATPG performance while keeping acceptable area and performance overheads. Several ...
Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda,...