2607 search results - page 89 / 522 » Complete Functional Synthesis |
124
Voted
BMAS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
126
click to vote
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
121
Voted
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
139
Voted
VRST
1997
ACM
15 years 7 months ago
1997
ACM
We present a new method for rendering novel images of flexible 3D objects from a small number of example images in correspondence. The strength of the method is the ability to sy...
118
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper exploits the unique in-field controllability of the device polarity of ambipolar carbon nanotube field effect transistors (CNTFETs) to design a technology library with ...