894 search results - page 81 / 179 » Optimizations for LTL Synthesis |
100
click to vote
DATE
1999
IEEE
15 years 5 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
105
click to vote
VLSID
2009
IEEE
16 years 1 months ago
2009
IEEE
: The challenges in nano-CMOS circuit design include the following: variability, leakage, power, thermals, reliability, and yield. This talk will focus on interdependent considerat...
128
click to vote
DAC
1997
ACM
15 years 4 months ago
1997
ACM
: Hardware-software co-synthesis is the process of partitioning an embedded system specification into hardware and software modules to meet performance, power and cost goals. In t...
131
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we propose a new communication synthesis approach targeting systems with sequential communication media (SCM). Since SCMs require that the reading sequence and writi...
79
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...