2607 search results - page 3 / 522 » Complete Functional Synthesis |
127
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— The purpose of this paper is to continue to develop the recently introduced concept of a regular positivereal function and its application to the classification of lowcomplexi...
139
click to vote
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
147
Voted
SYNASC
2005
IEEE
15 years 10 months ago
2005
IEEE
— Systolic online algorithms for the multiplication of univariate polynomials and of multiple precision integers are synthesised using a novel method based on the following funct...
132
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
195
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...