1210 search results - page 19 / 242 » Secure Logic Synthesis |
121
Voted
CASES
2001
ACM
15 years 6 months ago
2001
ACM
We describe a digital circuit synthesis algorithm specialized for the domain of pattern matching circuits implemented in reconfigurable logic. We propose to use this algorithm as ...
135
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
113
Voted
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
106
Voted
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
An abundance of research e orts in low power logic synthesis have so far been focused on and or or nand nor based logic. A typical approach is to rst generate an initial multi-lev...
126
Voted
GLVLSI
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...