3456 search results - page 121 / 692 » Algorithms for Interface Synthesis |
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
76
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents the novel idea of multi-placement structures, for a fast and optimized placement instantiation in analog circuit synthesis. These structures need to be generat...
110
Voted
GLVLSI
2005
IEEE
15 years 6 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...
107
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
-- Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the final result, often by neg...
109
click to vote
DAC
2005
ACM
15 years 2 months ago
2005
ACM
Microfluidic biochips promise to revolutionize biosensing and clinical diagnostics. As more bioassays are executed concurrently on a biochip, system integration and design complex...