112 search results - page 2 / 23 » Quasi-interpretation Synthesis by Decomposition |
ICCAD
2008
IEEE
14 years 2 months ago
2008
IEEE
Functional decomposition is a fundamental operation in logic synthesis. Prior BDD-based approaches to functional decomposition suffer from the memory explosion problem and do not...
DSD
2009
IEEE
14 years 12 days ago
2009
IEEE
—We present experiments with synthesis tools using examples which are currently believed to be very hard, namely the LEKU examples by Cong and Minkovich and parity examples of ou...
SCOPES
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
DATE
2005
IEEE
13 years 11 months ago
2005
IEEE
In this paper, we present a methodology for customized communication architecture synthesis that matches the communication requirements of the target application. This is an impor...
DAC
2003
ACM
14 years 6 months ago
2003
ACM