4066 search results - page 298 / 814 » Almost Complete Sets |
160
click to vote
ARITH
1999
IEEE
15 years 11 months ago
1999
IEEE
This note presents necessary and sufficient conditions for parallel and constant time conversions from one digit-set into another, and thus also for constant time addition. In the...
158
click to vote
ISPD
1998
ACM
15 years 11 months ago
1998
ACM
In this paper, we present a performance-driven softmacro clustering and placement method which preserves HDL design hierarchy to guide the soft-macro placement process. We also pr...
122
Voted
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
We introduce a novel cut-based debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Emulation or functional implemen...
138
click to vote
ITC
1989
IEEE
15 years 10 months ago
1989
IEEE
: The concept of a pseudo-exhaustive test for sequential circuits is introduced in a similar way as it is used for combinational networks. Instead of test sets one has to apply pse...
175
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...