Sciweavers

Share
ICCD
2000
IEEE
119views Hardware» more  ICCD 2000»
10 years 3 months ago
Source-Level Transformations for Improved Formal Verification
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
Brian D. Winters, Alan J. Hu
ICCD
2000
IEEE
106views Hardware» more  ICCD 2000»
10 years 4 months ago
Fast Subword Permutation Instructions Using Omega and Flip Network Stages
This paper proposes a new way of efficiently doing arbitrary ¢ -bit permutations in programmable processors modeled on the theory of omega and flip networks. The new omflip ins...
Xiao Yang, Ruby B. Lee
ICCD
2000
IEEE
84views Hardware» more  ICCD 2000»
10 years 4 months ago
Rectilinear Block Placement Using B*-Trees
Guang-Ming Wu, Yun-Chih Chang, Yao-Wen Chang
ICCD
2000
IEEE
86views Hardware» more  ICCD 2000»
10 years 4 months ago
DRAM-Page Based Prediction and Prefetching
Haifeng Yu, Gershon Kedem
ICCD
2000
IEEE
159views Hardware» more  ICCD 2000»
10 years 4 months ago
Evaluating Signal Processing and Multimedia Applications on SIMD, VLIW and Superscalar Architectures
This paper aims to provide a quantitative understanding of the performance of DSP and multimedia applications on very long instruction word (VLIW), single instruction multiple dat...
Deependra Talla, Lizy Kurian John, Viktor S. Lapin...
ICCD
2000
IEEE
137views Hardware» more  ICCD 2000»
10 years 4 months ago
Skewed CMOS: Noise-Immune High-Performance Low-Power Static Circuit Family
In this paper; we present a noise-immune highperformance static circuit family suitable for low-voltage operation called skewed logic. Skewed logic circuits, in comparison with Do...
Alexandre Solomatnikov, Kaushik Roy, Cheng-Kok Koh...
ICCD
2000
IEEE
87views Hardware» more  ICCD 2000»
10 years 4 months ago
Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks
This paper describes the application of binary and multivalued SPFD-based wire removal techniques for circuit implementations utilizing networks of PLAs. It has been shown that a ...
Subarnarekha Sinha, Sunil P. Khatri, Robert K. Bra...
ICCD
2000
IEEE
80views Hardware» more  ICCD 2000»
10 years 4 months ago
Power-Sensitive Multithreaded Architecture
The power consumption of microprocessors is becoming increasingly important in design decisions, not only in mobile processors, but also now in high-performance processors. Power-...
John S. Seng, Dean M. Tullsen, George Cai
ICCD
2000
IEEE
95views Hardware» more  ICCD 2000»
10 years 4 months ago
Analysis of Shared Memory Misses and Reference Patterns
Jeffrey B. Rothman, Alan Jay Smith
ICCD
2000
IEEE
69views Hardware» more  ICCD 2000»
10 years 4 months ago
Hierarchical Simulation of a Multiprocessor Architecture
When proposing new architectural enhancements, it is also important to account for the hardware complexity. To achieve this goal, we propose to model the new design in a hardware ...
Marius Pirvu, Laxmi N. Bhuyan, Rabi N. Mahapatra
books