10700 search results - page 219 / 2140 » Generative Design Patterns |
120
click to vote
COMSIS
2010
14 years 12 months ago
2010
This paper presents a novel computer-aided design system which uses a computational approach to producing 3D images for stimulating creativity of designers. It introduces the genet...
121
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
121
Voted
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
The existing work on via-stapling in 3D integrated circuits optimizes power and thermal integrity separately and uses steadystate thermal analysis. This paper presents the first ...
119
click to vote
DDECS
2009
IEEE
15 years 9 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
156
Voted
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...