Sciweavers

199 search results - page 23 / 40
» A Hardware Algorithm for Integer Division
Sort
View
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
14 years 2 months ago
Equivalence verification of arithmetic datapaths with multiple word-length operands
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
Namrata Shekhar, Priyank Kalla, Florian Enescu
ISCAS
2002
IEEE
114views Hardware» more  ISCAS 2002»
14 years 1 months ago
Lossless, near-lossless and lossy adaptive coding based on the lossless DCT
This report proposes a new coding method, which realizes lossless, near-lossless and lossy coding with a unified single algorithm. The method is based on a lifting-structured loss...
Somchart Chokchaitam, Masahiro Iwahashi
IJNSEC
2006
94views more  IJNSEC 2006»
13 years 8 months ago
A Binary Redundant Scalar Point Multiplication in Secure Elliptic Curve Cryptosystems
The main back-bone operation in elliptic curve cryptosystems is scalar point multiplication. The most frequently used method implementing the scalar point multiplication which is ...
Sangook Moon
ISCAS
2005
IEEE
123views Hardware» more  ISCAS 2005»
14 years 2 months ago
Lower-bound estimation for multi-bitwidth scheduling
In high-level synthesis, accurate lower-bound estimation is helpful to explore the search space efficiently and to evaluate the quality of heuristic algorithms. For the lower-bound...
Junjuan Xu, Jason Cong, Xu Cheng
ICCAD
2009
IEEE
106views Hardware» more  ICCAD 2009»
13 years 6 months ago
An efficient pre-assignment routing algorithm for flip-chip designs
The flip-chip package is introduced for modern IC designs with higher integration density and larger I/O counts. In this paper, we consider the pre-assignment flip-chip routing pr...
Po-Wei Lee, Chung-Wei Lin, Yao-Wen Chang, Chin-Fan...