2911 search results - page 349 / 583 » A Logic of Graph Constraints |
132
click to vote
GLVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
A new split accumulator architecture to be used in direct digital frequency synthesizers (DDFS) systems is presented. This new design eliminates the need of adders on the section ...
146
click to vote
ITC
2002
IEEE
15 years 11 months ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...
151
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
151
click to vote
ISLPED
2000
ACM
15 years 11 months ago
2000
ACM
Realization of high-performance domino logic depends strongly on energy-efficient and noise-tolerant interconnect design in ultra deep sub-micron processes. We characterize the c...
180
click to vote
FLOPS
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...