153 search results - page 25 / 31 » Symbolic Implementation of the Best Transformer |
FMCAD
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
CC
2003
Springer
14 years 26 days ago
2003
Springer
Cache memories were invented to decouple fast processors from slow memories. However, this decoupling is only partial, and many researchers have attempted to improve cache use by p...
IPPS
2002
IEEE
14 years 16 days ago
2002
IEEE
The size and complexity of current custom VLSI have forced the use of high-level programming languages to describe hardware, and compiler and synthesis technology bstract designs ...
CTRSA
2006
Springer
13 years 11 months ago
2006
Springer
The most important and expensive operation in a hyperelliptic curve cryptosystem (HECC) is scalar multiplication by an integer k, i.e., computing an integer k times a divisor D on ...
AVI
2006
13 years 9 months ago
2006
Tables have historically played a key role in many real-time collaborative environments, often referred to as "war rooms". Today, these environments have been transforme...