7197 search results - page 293 / 1440 » On the computational power of BlenX |
153
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
- This paper presents an effective technique for compacting a large sequence of input vectors into a much smaller one such that when the two sequences are applied to any circuit, t...
184
click to vote
BIRTHDAY
1997
Springer
15 years 11 months ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
252
click to vote
ISLPED
1996
ACM
15 years 11 months ago
1996
ACM
In this paper, we study the simultaneous buffer and wire sizing (SBWS) problem for delay and power dissipation minimization. We prove the BS/WS relation for optimal SBWS solutions...
189
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
- Power estimation in combinational modules is addressed from a probabilistic point of view. The zero-delay hypothesis is considered and under highly correlated input streams, the ...
149
Voted
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Abstract: Exploration at the earliest stages of the design process is an integral component of effective low-power design. Nevertheless, superficial high-level analyses with insuff...