395 search results - page 63 / 79 » Encoding Algorithms for Logic Synthesis |
150
Voted
CSL
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
130
click to vote
PPDP
2010
Springer
15 years 21 days ago
2010
Springer
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
104
Voted
CHES
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
91
Voted
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
While the covering algorithm has been perfected recently by the iterative approaches, such as DAOmap and IMap, its application has been limited to technology mapping. The main fact...
138
Voted
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper addresses the design of multi-mode architectures for digital signal processing applications. We present a dedicated design flow and its associated high-level synthesis t...