Sciweavers

867 search results - page 70 / 174
» Optimizing synthesis with metasketches
Sort
View
97
Voted
ASPDAC
2009
ACM
122views Hardware» more  ASPDAC 2009»
15 years 7 months ago
Tolerating process variations in high-level synthesis using transparent latches
—Considering process variability at the behavior synthesis level is necessary, because it makes some instances of function units slower and others faster, resulting in unbalanced...
Yibo Chen, Yuan Xie
109
Voted
GLVLSI
2005
IEEE
97views VLSI» more  GLVLSI 2005»
15 years 6 months ago
On equivalence checking and logic synthesis of circuits with a common specification
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...
Eugene Goldberg
LCPC
2001
Springer
15 years 5 months ago
Bridging the Gap between Compilation and Synthesis in the DEFACTO System
Abstract. The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy - is a system that maps computations, expressed in high-level languages such as C, directly o...
Pedro C. Diniz, Mary W. Hall, Joonseok Park, Byoun...
DATE
2000
IEEE
169views Hardware» more  DATE 2000»
15 years 5 months ago
Transformational Placement and Synthesis
Novel methodology and algorithms to seamlessly integrate logic synthesis and physical placement through a transformational approach are presented. Contrary to most placement algor...
Wilm E. Donath, Prabhakar Kudva, Leon Stok, Paul V...
103
Voted
ICRA
2008
IEEE
135views Robotics» more  ICRA 2008»
15 years 7 months ago
Distributed grasp synthesis for swarm manipulation with applications to autonomous tugboats
— Assume a swarm of mobile robots is in the act of transporting a large object in the plane, by applying unilateral forces to the perimeter of that object. We address the questio...
Joel M. Esposito