395 search results - page 53 / 79 » Encoding Algorithms for Logic Synthesis |
106
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
We study a new placement problem: the reproducing placement problem (RPP). In each phase a module (or gate) is decomposed into two (or more) simpler modules. The goal is nd a \go...
103
click to vote
FPL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Data dependent circuits are logic circuits specialized to specific input data. They are smaller and faster than the original circuits, although they are not reusable and...
122
click to vote
ASE
2010
15 years 2 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
100
click to vote
CODES
1996
IEEE
15 years 6 months ago
1996
IEEE
This reported work applies a transformational synthesis approach to hardware/software codesign. In this approach, the process of algorithm design is coupled early on with hardware...
117
Voted
AAAI
2007
15 years 4 months ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...