11665 search results - page 98 / 2333 » Human computing for EDA |
ACMACE
2006
ACM
15 years 4 months ago
2006
ACM
CHI
1997
ACM
15 years 2 months ago
1997
ACM
Establishing that machines cannot automate creative design and that it is a difficult task for humans, I propose a computational model based on the human and machine complementari...
DAC
2007
ACM
15 years 11 months ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...
ICCAD
2008
IEEE
15 years 6 months ago
2008
IEEE
— The emergence of multi-core and many-core processors has introduced new opportunities and challenges to EDA research and development. While the availability of increasing paral...
DAC
2006
ACM
15 years 4 months ago
2006
ACM
Silicon design implementation has become increasingly complex with the deep submicron technologies such as 90nm and below. It is common to see multiple processor cores, several ty...